From 292f171f28dd2253810e2a617002f5aa209aa580 Mon Sep 17 00:00:00 2001
From: Felix Roos <roos@entrecode.de>
Date: Sun, 20 Feb 2022 20:20:02 +0100
Subject: [PATCH] add editorDidMount

---
 repl/src/CodeMirror.tsx | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/repl/src/CodeMirror.tsx b/repl/src/CodeMirror.tsx
index faef177e..0d81a341 100644
--- a/repl/src/CodeMirror.tsx
+++ b/repl/src/CodeMirror.tsx
@@ -5,11 +5,12 @@ import 'codemirror/mode/pegjs/pegjs.js';
 import 'codemirror/theme/material.css';
 import 'codemirror/lib/codemirror.css';
 
-export default function CodeMirror({ value, onChange, options }: any) {
+export default function CodeMirror({ value, onChange, options, editorDidMount }: any) {
   options = options || {
     mode: 'javascript',
     theme: 'material',
     lineNumbers: true,
+    styleSelectedText: true,
   };
-  return <CodeMirror2 value={value} options={options} onBeforeChange={onChange} />;
+  return <CodeMirror2 value={value} options={options} onBeforeChange={onChange} editorDidMount={editorDidMount} />;
 }