MiniRepl: consume font settings

2026-08-02 13:46:06 -04:00 · 2023-05-28 12:42:15 +02:00
parent 9971867e2f
commit d2dffe3186
3 changed files with 8 additions and 0 deletions
@@ -7,3 +7,7 @@
  border: 1px solid var(--lineHighlight);
  padding: 2px;
 }
+
+.cm-scroller {
+  font-family: inherit !important;
+}
@@ -60,6 +60,8 @@ export function MiniRepl({
        theme={themes[theme]}
        hideHeader={hideHeader}
        keybindings={keybindings}
+        fontFamily={fontFamily}
+        fontSize={fontSize}
        onPaint={
          claviature
            ? (ctx, time, haps, drawTime) => {