From de9df7d257b96bb70192a574ce6c87f21bfdc805 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADctor=20Losada=20Hern=C3=A1ndez?= Date: Mon, 13 Apr 2026 17:27:09 +0200 Subject: [PATCH] lint --- client/components/codeEditor/codeEditor.jsx | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/client/components/codeEditor/codeEditor.jsx b/client/components/codeEditor/codeEditor.jsx index 5717df109..3eed6ab9b 100644 --- a/client/components/codeEditor/codeEditor.jsx +++ b/client/components/codeEditor/codeEditor.jsx @@ -14,8 +14,7 @@ import { drawSelection, dropCursor, } from '@codemirror/view'; -import { EditorState, Compartment } from '@codemirror/state'; -import { StateEffect, StateField } from '@codemirror/state'; +import { EditorState, Compartment, StateEffect, StateField } from '@codemirror/state'; import { foldAll as foldAllCmd, unfoldAll as unfoldAllCmd, foldGutter, foldKeymap, syntaxHighlighting } from '@codemirror/language'; import { defaultKeymap, history, undo, redo, undoDepth, redoDepth } from '@codemirror/commands'; import { languages } from '@codemirror/language-data'; @@ -96,6 +95,8 @@ const createHighlightPlugin = (renderer, tab)=>{ { decorations: (v)=>v.decorations } ); }; + + const setProgrammaticCursorLine = StateEffect.define(); const programmaticCursorLineField = StateField.define({