First batch of code cleaning

2024-04-14 13:28:48 +02:00
parent d2dee8f371
commit b222fc25c9
61 changed files with 1172 additions and 2359 deletions
--- a/src/EditorSetup.ts
+++ b/src/EditorSetup.ts
@ -321,7 +321,7 @@ export const installEditor = (app: Editor) => {
    ),
    editorSetup,
    app.themeCompartment.of(
-      getCodeMirrorTheme(app.getColorScheme("Tomorrow Night Burns")),
+      getCodeMirrorTheme(app.getColorScheme("Batman")),
      // debug
    ),
    app.chosenLanguage.of(javascript()),