eric/Theia-Modula-2: a customization of Theia from the Eclipse fondation for Modula-2 use, specifically (for the moment) GNU Modula-2 @ 1486f61382ec624e1d47f1c5418676c394785be1

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