From 82380a0f4e769e269eba853fcaae6b418028e459 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 3 Nov 2023 14:08:13 +0100
Subject: [PATCH] make sliders really work

---
 packages/codemirror/codemirror.mjs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/packages/codemirror/codemirror.mjs b/packages/codemirror/codemirror.mjs
index a6721543e..8c64372d7 100644
--- a/packages/codemirror/codemirror.mjs
+++ b/packages/codemirror/codemirror.mjs
@@ -11,7 +11,7 @@ import { flash, isFlashEnabled } from './flash.mjs';
 import { highlightMiniLocations, isPatternHighlightingEnabled, updateMiniLocations } from './highlight.mjs';
 import { keybindings } from './keybindings.mjs';
 import { theme } from './themes.mjs';
-import { updateWidgets } from './slider.mjs';
+import { updateWidgets, sliderPlugin } from './slider.mjs';
 
 const extensions = {
   isLineWrappingEnabled: (on) => (on ? EditorView.lineWrapping : []),
@@ -36,6 +36,7 @@ export function initEditor({ initialCode = '', onChange, onEvaluate, onStop, set
       highlightSelectionMatches(), */
       ...initialSettings,
       javascript(),
+      sliderPlugin,
       // indentOnInput(), // works without. already brought with javascript extension?
       // bracketMatching(), // does not do anything
       closeBrackets(),