diff options
Diffstat (limited to 'editors/code/src/main.ts')
-rw-r--r-- | editors/code/src/main.ts | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/editors/code/src/main.ts b/editors/code/src/main.ts index 7e63a9cac..45657532e 100644 --- a/editors/code/src/main.ts +++ b/editors/code/src/main.ts | |||
@@ -4,10 +4,10 @@ import * as lc from 'vscode-languageclient'; | |||
4 | import * as commands from './commands'; | 4 | import * as commands from './commands'; |
5 | import { activateInlayHints } from './inlay_hints'; | 5 | import { activateInlayHints } from './inlay_hints'; |
6 | import { StatusDisplay } from './status_display'; | 6 | import { StatusDisplay } from './status_display'; |
7 | import * as events from './events'; | ||
8 | import * as notifications from './notifications'; | 7 | import * as notifications from './notifications'; |
9 | import { Server } from './server'; | 8 | import { Server } from './server'; |
10 | import { Ctx } from './ctx'; | 9 | import { Ctx } from './ctx'; |
10 | import { activateHighlighting } from './highlighting'; | ||
11 | 11 | ||
12 | let ctx!: Ctx; | 12 | let ctx!: Ctx; |
13 | 13 | ||
@@ -37,6 +37,8 @@ export async function activate(context: vscode.ExtensionContext) { | |||
37 | ); | 37 | ); |
38 | ctx.pushCleanup(watchStatus); | 38 | ctx.pushCleanup(watchStatus); |
39 | 39 | ||
40 | activateHighlighting(ctx); | ||
41 | |||
40 | // Notifications are events triggered by the language server | 42 | // Notifications are events triggered by the language server |
41 | const allNotifications: [string, lc.GenericNotificationHandler][] = [ | 43 | const allNotifications: [string, lc.GenericNotificationHandler][] = [ |
42 | [ | 44 | [ |
@@ -49,11 +51,6 @@ export async function activate(context: vscode.ExtensionContext) { | |||
49 | ], | 51 | ], |
50 | ]; | 52 | ]; |
51 | 53 | ||
52 | // The events below are plain old javascript events, triggered and handled by vscode | ||
53 | vscode.window.onDidChangeActiveTextEditor( | ||
54 | events.changeActiveTextEditor.makeHandler(), | ||
55 | ); | ||
56 | |||
57 | const startServer = () => Server.start(allNotifications); | 54 | const startServer = () => Server.start(allNotifications); |
58 | const reloadCommand = () => reloadServer(startServer); | 55 | const reloadCommand = () => reloadServer(startServer); |
59 | 56 | ||