diff --git a/services/web/frontend/js/features/source-editor/extensions/highlight-active-line.ts b/services/web/frontend/js/features/source-editor/extensions/highlight-active-line.ts index 2566d57c76..af0e7df064 100644 --- a/services/web/frontend/js/features/source-editor/extensions/highlight-active-line.ts +++ b/services/web/frontend/js/features/source-editor/extensions/highlight-active-line.ts @@ -40,7 +40,7 @@ const singleLineHighlighter = ViewPlugin.fromClass( } update(update: ViewUpdate) { - if (update.docChanged || update.selectionSet) { + if (update.geometryChanged || update.selectionSet) { this.decorations = this.getDeco(update.view) } }