We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
"editor.occurrencesHighlight": "off"
1 parent a7d4436 commit 0727ad7Copy full SHA for 0727ad7
src/vs/editor/contrib/wordHighlighter/browser/wordHighlighter.ts
@@ -310,6 +310,11 @@ class WordHighlighter {
310
this._onPositionChanged(e);
311
}));
312
this.toUnhook.add(editor.onDidFocusEditorText((e) => {
313
+ if (this.occurrencesHighlight === 'off') {
314
+ // Early exit if nothing needs to be done
315
+ return;
316
+ }
317
+
318
if (!this.workerRequest) {
319
this._run();
320
}
0 commit comments