From d23cac506c9554bd00f2c0ab42f4cd83ca2b06db Mon Sep 17 00:00:00 2001 From: Felix Roos Date: Thu, 14 Dec 2023 22:51:17 +0100 Subject: [PATCH] fix: fontFamily setting --- packages/codemirror/codemirror.mjs | 4 ++++ website/src/pages/vanilla/index.astro | 6 ++---- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/packages/codemirror/codemirror.mjs b/packages/codemirror/codemirror.mjs index 7933600e..ca42658a 100644 --- a/packages/codemirror/codemirror.mjs +++ b/packages/codemirror/codemirror.mjs @@ -190,6 +190,10 @@ export class StrudelMirror { } setFontFamily(family) { this.root.style.fontFamily = family; + const scroller = this.root.querySelector('.cm-scroller'); + if (scroller) { + scroller.style.fontFamily = family; + } } reconfigureExtension(key, value) { if (!extensions[key]) { diff --git a/website/src/pages/vanilla/index.astro b/website/src/pages/vanilla/index.astro index de138380..e5a935c0 100644 --- a/website/src/pages/vanilla/index.astro +++ b/website/src/pages/vanilla/index.astro @@ -60,10 +60,8 @@ import HeadCommonNew from '../../components/HeadCommonNew.astro';
- +