Add tslint and prettier to ci

1 files changed, 13 insertions, 13 deletions

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 740b5be20..b9ff3b810 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -3,21 +3,21 @@ import * as vscode from 'vscode';
 import { Server } from './server';
 
 export class Config {
-    public highlightingOn = true;
+  public highlightingOn = true;
 
-    constructor() {
-        vscode.workspace.onDidChangeConfiguration((_) => this.userConfigChanged());
-        this.userConfigChanged();
-    }
+  constructor() {
+    vscode.workspace.onDidChangeConfiguration((_) => this.userConfigChanged());
+    this.userConfigChanged();
+  }
 
-    public userConfigChanged() {
-        const config = vscode.workspace.getConfiguration('ra-lsp');
-        if (config.has('highlightingOn')) {
-            this.highlightingOn = config.get('highlightingOn') as boolean;
-        }
+  public userConfigChanged() {
+    const config = vscode.workspace.getConfiguration('ra-lsp');
+    if (config.has('highlightingOn')) {
+      this.highlightingOn = config.get('highlightingOn') as boolean;
+    }
 
-        if (!this.highlightingOn && Server) {
-            Server.highlighter.removeHighlights();
-        }
+    if (!this.highlightingOn && Server) {
+      Server.highlighter.removeHighlights();
     }
+  }
 }