From e26071d96e1ff56289213dbe78415f836de8a70e Mon Sep 17 00:00:00 2001 From: Daniel McNab <36049421+DJMcNab@users.noreply.github.com> Date: Mon, 8 Oct 2018 22:38:33 +0100 Subject: Run prettier on all files --- editors/code/src/config.ts | 28 +++++++++++++++------------- 1 file changed, 15 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 b9ff3b810..7d05ea078 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -3,21 +3,23 @@ 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(); - } - - public userConfigChanged() { - const config = vscode.workspace.getConfiguration('ra-lsp'); - if (config.has('highlightingOn')) { - this.highlightingOn = config.get('highlightingOn') as boolean; + constructor() { + vscode.workspace.onDidChangeConfiguration(_ => + this.userConfigChanged() + ); + this.userConfigChanged(); } - if (!this.highlightingOn && Server) { - Server.highlighter.removeHighlights(); + 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(); + } } - } } -- cgit v1.2.3