From 4959bff0602e2a0c05c8d691f888679b8969865e Mon Sep 17 00:00:00 2001 From: "Jade (Rose) Rowland" Date: Fri, 21 Feb 2025 11:06:21 -0500 Subject: [PATCH] font settings --- packages/codemirror/codemirror.mjs | 1 + website/src/components/Udels/UdelsEditor.jsx | 4 ++-- website/src/components/Udels/UdelsHeader.jsx | 2 +- website/src/repl/Repl.jsx | 4 +++- .../repl/components/EmbeddedReplEditor.jsx | 4 ++-- website/src/repl/components/ReplEditor.jsx | 4 ++-- website/src/repl/components/panel/Panel.jsx | 3 +-- .../src/repl/components/panel/PatternsTab.jsx | 19 +++++++++---------- .../src/repl/components/panel/Reference.jsx | 16 ++++++++-------- .../src/repl/components/panel/SoundsTab.jsx | 4 ++-- 10 files changed, 31 insertions(+), 30 deletions(-) diff --git a/packages/codemirror/codemirror.mjs b/packages/codemirror/codemirror.mjs index 5886c476..e96b533e 100644 --- a/packages/codemirror/codemirror.mjs +++ b/packages/codemirror/codemirror.mjs @@ -67,6 +67,7 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, roo const initialSettings = Object.keys(compartments).map((key) => compartments[key].of(extensions[key](parseBooleans(settings[key]))), ); + initTheme(settings.theme); let state = EditorState.create({ doc: initialCode, diff --git a/website/src/components/Udels/UdelsEditor.jsx b/website/src/components/Udels/UdelsEditor.jsx index fe7a1ae4..f58ac5fc 100644 --- a/website/src/components/Udels/UdelsEditor.jsx +++ b/website/src/components/Udels/UdelsEditor.jsx @@ -9,11 +9,11 @@ import UserFacingErrorMessage from '@src/repl/components/UserFacingErrorMessage' // } export default function UdelsEditor(Props) { - const { context } = Props; + const { context, ...editorProps } = Props; const { containerRef, editorRef, error, init, pending, started, handleTogglePlay } = context; return ( -
+
diff --git a/website/src/components/Udels/UdelsHeader.jsx b/website/src/components/Udels/UdelsHeader.jsx index d56f3a1d..75471693 100644 --- a/website/src/components/Udels/UdelsHeader.jsx +++ b/website/src/components/Udels/UdelsHeader.jsx @@ -4,7 +4,7 @@ export default function UdelsHeader(Props) { const { numWindows, setNumWindows } = Props; return ( -