wip remifont

Bubobubobubobubo · Oct 25, 2023 · 90c316e · 90c316e
1 parent f0f8c41
commit 90c316e
Showing 1 changed file with 22 additions and 0 deletions.
diff --git a/src/API.ts b/src/API.ts
@@ -1,3 +1,4 @@
+import { EditorView } from '@codemirror/view';
 import { getAllScaleNotes, seededRandom } from "zifferjs";
 import {
   MidiCCEvent,
@@ -2027,4 +2028,25 @@ export class UserAPI {
       ...config,
     };
   };
+
+  // =============================================================
+  // Ralt144mi section
+  // =============================================================
+
+  raltfont = (mainFont: string, commentFont: string): void => {
+    this.app.view.dispatch({
+      effects: this.app.fontSize.reconfigure(
+        EditorView.theme({
+          "&": { fontFamily: mainFont },
+          ".cm-gutters": { fontFamily: mainFont, },
+          ".cm-content": {
+            fontFamily: mainFont,
+          },
+          ".cm-comment": {
+            fontFamily: commentFont,
+          },
+        })
+      ),
+    });
+  }
 }