aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/config.ts
diff options
context:
space:
mode:
authorSeivan Heidari <[email protected]>2019-11-09 16:23:30 +0000
committerSeivan Heidari <[email protected]>2019-11-09 16:23:30 +0000
commit83a33fbbeae9cbec8bec855e9338b7ccd08bd3a0 (patch)
tree7378bc3b85599264027eaab28ff017ed933fb984 /editors/code/src/config.ts
parent529b227d42951feabf64c8c964b00e726dd92d46 (diff)
Vscode wasn't running the linter automatically so ran `npm run fix` - wonder if it's related to `tslint` being deprecated.
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r--editors/code/src/config.ts5
1 files changed, 2 insertions, 3 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 234a390ac..4cedbea46 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -46,14 +46,14 @@ export class Config {
46 46
47 public userConfigChanged() { 47 public userConfigChanged() {
48 const config = vscode.workspace.getConfiguration('rust-analyzer'); 48 const config = vscode.workspace.getConfiguration('rust-analyzer');
49 49
50 Server.highlighter.removeHighlights(); 50 Server.highlighter.removeHighlights();
51 51
52 if (config.has('highlightingOn')) { 52 if (config.has('highlightingOn')) {
53 this.highlightingOn = config.get('highlightingOn') as boolean; 53 this.highlightingOn = config.get('highlightingOn') as boolean;
54 if (this.highlightingOn) { 54 if (this.highlightingOn) {
55 scopes.load(); 55 scopes.load();
56 scopesMapper.load(); 56 scopesMapper.load();
57 } 57 }
58 } 58 }
59 59
@@ -63,7 +63,6 @@ export class Config {
63 ) as boolean; 63 ) as boolean;
64 } 64 }
65 65
66
67 if (config.has('enableEnhancedTyping')) { 66 if (config.has('enableEnhancedTyping')) {
68 this.enableEnhancedTyping = config.get( 67 this.enableEnhancedTyping = config.get(
69 'enableEnhancedTyping' 68 'enableEnhancedTyping'