From d4619362bd2a6be844d732e0ef20338d0d0f616d Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Sun, 19 Mar 2023 22:04:17 +0100
Subject: [PATCH] allow passing fontSize to MiniRepl

---
 packages/react/src/components/MiniRepl.jsx | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/packages/react/src/components/MiniRepl.jsx b/packages/react/src/components/MiniRepl.jsx
index 1be987272..eea5a1831 100644
--- a/packages/react/src/components/MiniRepl.jsx
+++ b/packages/react/src/components/MiniRepl.jsx
@@ -21,6 +21,7 @@ export function MiniRepl({
   drawTime,
   punchcard,
   canvasHeight = 200,
+  fontSize = 18,
   theme,
 }) {
   drawTime = drawTime || (punchcard ? [0, 4] : undefined);
@@ -153,7 +154,9 @@ export function MiniRepl({
         {error && <div className="text-right p-1 text-sm text-red-200">{error.message}</div>}
       </div>
       <div className="overflow-auto relative">
-        {show && <CodeMirror6 value={code} onChange={setCode} onViewChanged={setView} theme={theme} />}
+        {show && (
+          <CodeMirror6 value={code} onChange={setCode} onViewChanged={setView} theme={theme} fontSize={fontSize} />
+        )}
       </div>
       {drawTime && (
         <canvas