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 | 9 |
1 files changed, 1 insertions, 8 deletions
diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts index 74b91bd48..4384ee567 100644 --- a/editors/code/src/events/change_active_text_editor.ts +++ b/editors/code/src/events/change_active_text_editor.ts | |||
@@ -1,21 +1,14 @@ | |||
1 | import { TextEditor } from 'vscode'; | 1 | import { TextEditor } from 'vscode'; |
2 | import { TextDocumentIdentifier } from 'vscode-languageclient'; | 2 | import { TextDocumentIdentifier } from 'vscode-languageclient'; |
3 | |||
4 | import { | ||
5 | SyntaxTreeContentProvider, | ||
6 | syntaxTreeUri, | ||
7 | } from '../commands/syntaxTree'; | ||
8 | import { Decoration } from '../highlighting'; | 3 | import { Decoration } from '../highlighting'; |
9 | import { Server } from '../server'; | 4 | import { Server } from '../server'; |
10 | 5 | ||
11 | export function makeHandler(syntaxTreeProvider: SyntaxTreeContentProvider) { | 6 | export function makeHandler() { |
12 | return async function handle(editor: TextEditor | undefined) { | 7 | return async function handle(editor: TextEditor | undefined) { |
13 | if (!editor || editor.document.languageId !== 'rust') { | 8 | if (!editor || editor.document.languageId !== 'rust') { |
14 | return; | 9 | return; |
15 | } | 10 | } |
16 | 11 | ||
17 | syntaxTreeProvider.eventEmitter.fire(syntaxTreeUri); | ||
18 | |||
19 | if (!Server.config.highlightingOn) { | 12 | if (!Server.config.highlightingOn) { |
20 | return; | 13 | return; |
21 | } | 14 | } |