1
0
mirror of https://github.com/laurent22/joplin.git synced 2024-12-24 10:27:10 +02:00

Mobile, Desktop: Fixes #9201: Disable selection match highlighting (#9202)

This commit is contained in:
Henry Heino 2023-11-07 04:00:13 -08:00 committed by GitHub
parent 6593025051
commit 9d96866531
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,8 +1,7 @@
import { Compartment, EditorState } from '@codemirror/state'; import { Compartment, EditorState } from '@codemirror/state';
import { indentOnInput, syntaxHighlighting } from '@codemirror/language'; import { indentOnInput, syntaxHighlighting } from '@codemirror/language';
import { import {
openSearchPanel, closeSearchPanel, getSearchQuery, openSearchPanel, closeSearchPanel, getSearchQuery, search,
highlightSelectionMatches, search,
} from '@codemirror/search'; } from '@codemirror/search';
import { classHighlighter } from '@lezer/highlight'; import { classHighlighter } from '@lezer/highlight';
@ -206,7 +205,6 @@ const createEditor = (
} : undefined), } : undefined),
drawSelection(), drawSelection(),
highlightSpecialChars(), highlightSpecialChars(),
highlightSelectionMatches(),
indentOnInput(), indentOnInput(),
EditorView.domEventHandlers({ EditorView.domEventHandlers({