update font size

1 files changed, 14 insertions, 1 deletions

diff --git a/src/engine/entities/LambdaFactory.ts b/src/engine/entities/LambdaFactory.ts
index d8fc7a2..49436fe 100644
--- a/src/engine/entities/LambdaFactory.ts
+++ b/src/engine/entities/LambdaFactory.ts
@@ -19,7 +19,13 @@ import {
 } from "../components";
 import { Coord2D, Direction } from "../interfaces";
 import { openModal, closeModal } from "../utils";
-import { EditorState, StateField, StateEffect, Range } from "@codemirror/state";
+import {
+  EditorState,
+  StateField,
+  StateEffect,
+  Range,
+  Extension,
+} from "@codemirror/state";
 import { Decoration, EditorView, keymap } from "@codemirror/view";
 import { defaultKeymap } from "@codemirror/commands";
 import rainbowBrackets from "rainbowbrackets";
@@ -48,6 +54,12 @@ const highlightExtension = StateField.define({
   },
   provide: (f) => EditorView.decorations.from(f),
 });
+const FontSizeTheme = EditorView.theme({
+  $: {
+    fontSize: "20pt",
+  },
+});
+const FontSizeThemeExtension: Extension = [FontSizeTheme];
 
 export class LambdaFactory extends Entity {
   private static spriteSpec: SpriteSpec = SPRITE_SPECS.get(
@@ -218,6 +230,7 @@ export class LambdaFactory extends Entity {
           keymap.of(defaultKeymap),
           rainbowBrackets(),
           highlightExtension,
+          FontSizeThemeExtension,
         ],
       });