From 3a405b65d61a5ad3176c223e4b7226a43fcd186e Mon Sep 17 00:00:00 2001
From: Daniel McNab <36049421+DJMcNab@users.noreply.github.com>
Date: Mon, 8 Oct 2018 22:36:47 +0100
Subject: Add tslint and prettier to ci

---
 editors/code/src/config.ts | 26 +++++++++++++-------------
 1 file changed, 13 insertions(+), 13 deletions(-)

(limited to 'editors/code/src/config.ts')

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();
     }
+  }
 }
-- 
cgit v1.2.3