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

Eric Streit c0f651c9ef Workbench UI: theme switcher and interface font size		3 тижнів тому
..
src	c0f651c9ef Workbench UI: theme switcher and interface font size	3 тижнів тому
package.json	2ef7c3ad13 Modula-2 IDE on Eclipse Theia (Phase 1 done, Phase 2 started)	4 тижнів тому
tsconfig.json	c0f651c9ef Workbench UI: theme switcher and interface font size	3 тижнів тому