From d2dffe318685ec7d196d654ccb1a60b4cecc6acc Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Sun, 28 May 2023 12:42:15 +0200
Subject: [PATCH] MiniRepl: consume font settings

---
 packages/react/src/components/MiniRepl.jsx | 2 ++
 website/src/docs/MiniRepl.css              | 4 ++++
 website/src/docs/MiniRepl.jsx              | 2 ++
 3 files changed, 8 insertions(+)

diff --git a/packages/react/src/components/MiniRepl.jsx b/packages/react/src/components/MiniRepl.jsx
index 8ff738e6..c13ff28e 100644
--- a/packages/react/src/components/MiniRepl.jsx
+++ b/packages/react/src/components/MiniRepl.jsx
@@ -24,6 +24,7 @@ export function MiniRepl({
   onPaint,
   canvasHeight = 200,
   fontSize = 18,
+  fontFamily,
   hideHeader = false,
   theme,
   keybindings,
@@ -156,6 +157,7 @@ export function MiniRepl({
             onChange={setCode}
             onViewChanged={setView}
             theme={theme}
+            fontFamily={fontFamily}
             fontSize={fontSize}
             keybindings={keybindings}
           />
diff --git a/website/src/docs/MiniRepl.css b/website/src/docs/MiniRepl.css
index e9b49af8..5e520671 100644
--- a/website/src/docs/MiniRepl.css
+++ b/website/src/docs/MiniRepl.css
@@ -7,3 +7,7 @@
   border: 1px solid var(--lineHighlight);
   padding: 2px;
 }
+
+.cm-scroller {
+  font-family: inherit !important;
+}
diff --git a/website/src/docs/MiniRepl.jsx b/website/src/docs/MiniRepl.jsx
index 651241a9..6dfaf28e 100644
--- a/website/src/docs/MiniRepl.jsx
+++ b/website/src/docs/MiniRepl.jsx
@@ -60,6 +60,8 @@ export function MiniRepl({
         theme={themes[theme]}
         hideHeader={hideHeader}
         keybindings={keybindings}
+        fontFamily={fontFamily}
+        fontSize={fontSize}
         onPaint={
           claviature
             ? (ctx, time, haps, drawTime) => {