diff options
Diffstat (limited to 'src/engine/entities/LambdaFactory.ts')
-rw-r--r-- | src/engine/entities/LambdaFactory.ts | 15 |
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, ], }); |