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

Eric Streit ac115547b8 Cover Project explorer and Outline view with the UI font-size setting		1 天之前
..
src	ac115547b8 Cover Project explorer and Outline view with the UI font-size setting	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 周之前