Eric Streit 6f92fe4020 Move theme commands to a top-level Theme menu il y a 1 jour
..
src 6f92fe4020 Move theme commands to a top-level Theme menu il y a 1 jour
package.json 0a1a691ba0 Re-base apps on theia-ide composition (Theia 1.77); park Pascal/Oberon in attic il y a 1 jour
tsconfig.json c0f651c9ef Workbench UI: theme switcher and interface font size il y a 2 semaines