diff options
Diffstat (limited to 'editors/code/src/events/change_active_text_editor.ts')
-rw-r--r-- | editors/code/src/events/change_active_text_editor.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts index 96d61126c..3440aa0c3 100644 --- a/editors/code/src/events/change_active_text_editor.ts +++ b/editors/code/src/events/change_active_text_editor.ts | |||
@@ -5,7 +5,7 @@ import { Decoration } from '../highlighting'; | |||
5 | import { Server } from '../server'; | 5 | import { Server } from '../server'; |
6 | 6 | ||
7 | export async function handle(editor: TextEditor | undefined) { | 7 | export async function handle(editor: TextEditor | undefined) { |
8 | if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') { return; } | 8 | if (!Server.config.highlightingOn || !editor || editor.document.languageId !== 'rust') { return; } |
9 | const params: TextDocumentIdentifier = { | 9 | const params: TextDocumentIdentifier = { |
10 | uri: editor.document.uri.toString(), | 10 | uri: editor.document.uri.toString(), |
11 | }; | 11 | }; |