repl: add option to display line numbers

2023-06-07 15:34:57 +02:00 · 2023-06-07 15:34:57 +02:00 · 0c2147d9c5
commit 0c2147d9c5
parent 11733d5e05
5 changed files with 30 additions and 13 deletions
--- a/packages/react/src/components/CodeMirror6.jsx
+++ b/packages/react/src/components/CodeMirror6.jsx
@ -104,6 +104,7 @@ export default function CodeMirror({
  onSelectionChange,
  theme,
  keybindings,
+  isLineNumbersDisplayed,
  fontSize = 18,
  fontFamily = 'monospace',
  options,
@ -148,6 +149,7 @@ export default function CodeMirror({
        onCreateEditor={handleOnCreateEditor}
        onUpdate={handleOnUpdate}
        extensions={extensions}
+        basicSetup={{ lineNumbers: isLineNumbersDisplayed }}
      />
    </div>
  );