1 files changed, 11 insertions, 11 deletions

diff --git a/editors/code/src/events/change_active_text_editor.ts b/editors/code/src/events/change_active_text_editor.ts
index bbdd53098..96d61126c 100644
--- a/editors/code/src/events/change_active_text_editor.ts
+++ b/editors/code/src/events/change_active_text_editor.ts
@@ -1,14 +1,14 @@
-import { TextEditor } from "vscode";
-import { TextDocumentIdentifier } from "vscode-languageclient";
+import { TextEditor } from 'vscode';
+import { TextDocumentIdentifier } from 'vscode-languageclient';
 
-import { Server } from "../server";
-import { Decoration } from "../highlighting";
+import { Decoration } from '../highlighting';
+import { Server } from '../server';
 
 export async function handle(editor: TextEditor | undefined) {
-    if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') return
-    let params: TextDocumentIdentifier = {
-        uri: editor.document.uri.toString()
-    }
-    let decorations = await Server.client.sendRequest<Decoration[]>("m/decorationsRequest", params)
-    Server.highlighter.setHighlights(editor, decorations)
-}
\ No newline at end of file
+    if (!Server.config.highlightingOn || !editor || editor.document.languageId != 'rust') { return; }
+    const params: TextDocumentIdentifier = {
+        uri: editor.document.uri.toString(),
+    };
+    const decorations = await Server.client.sendRequest<Decoration[]>('m/decorationsRequest', params);
+    Server.highlighter.setHighlights(editor, decorations);
+}