Modularize documentation

This commit is contained in:
2023-08-31 15:17:42 +02:00
parent 0441f3b7c0
commit c3856479e8
17 changed files with 2291 additions and 2187 deletions

View File

@ -72,6 +72,7 @@ export class Editor {
vimModeCompartment: Compartment;
chosenLanguage: Compartment;
currentDocumentationPane: string = "introduction";
exampleCounter: number = 0;
settings = new AppSettings();
editorExtensions: Extension[] = [];