From ccc1e182cf72916c9cdc4f10043048aa01a63390 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Mon, 4 Mar 2024 17:00:28 -0700 Subject: update font size --- src/engine/entities/LambdaFactory.ts | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) (limited to 'src/engine/entities') 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, ], }); -- cgit v1.2.3-70-g09d2