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