From ccc1e182cf72916c9cdc4f10043048aa01a63390 Mon Sep 17 00:00:00 2001 From: Elizabeth Hunt Date: Mon, 4 Mar 2024 17:00:28 -0700 Subject: [PATCH] update font size --- src/css/editor.css | 11 +++++++++++ src/engine/entities/LambdaFactory.ts | 15 ++++++++++++++- 2 files changed, 25 insertions(+), 1 deletion(-) create mode 100644 src/css/editor.css diff --git a/src/css/editor.css b/src/css/editor.css new file mode 100644 index 0000000..9b1588e --- /dev/null +++ b/src/css/editor.css @@ -0,0 +1,11 @@ +@import url("./colors.css"); + +.code { + width: 100%; + font-size: 1.5rem; +} + +.syntax-error { + color: var(--red); + background-color: var(--yellow); +} 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, ], });