From 9d96866531e1500bace961d73ac192ce801d1d9f Mon Sep 17 00:00:00 2001 From: Henry Heino <46334387+personalizedrefrigerator@users.noreply.github.com> Date: Tue, 7 Nov 2023 04:00:13 -0800 Subject: [PATCH] Mobile, Desktop: Fixes #9201: Disable selection match highlighting (#9202) --- packages/editor/CodeMirror/createEditor.ts | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/packages/editor/CodeMirror/createEditor.ts b/packages/editor/CodeMirror/createEditor.ts index a237b17db..d71c57692 100644 --- a/packages/editor/CodeMirror/createEditor.ts +++ b/packages/editor/CodeMirror/createEditor.ts @@ -1,8 +1,7 @@ import { Compartment, EditorState } from '@codemirror/state'; import { indentOnInput, syntaxHighlighting } from '@codemirror/language'; import { - openSearchPanel, closeSearchPanel, getSearchQuery, - highlightSelectionMatches, search, + openSearchPanel, closeSearchPanel, getSearchQuery, search, } from '@codemirror/search'; import { classHighlighter } from '@lezer/highlight'; @@ -206,7 +205,6 @@ const createEditor = ( } : undefined), drawSelection(), highlightSpecialChars(), - highlightSelectionMatches(), indentOnInput(), EditorView.domEventHandlers({