diff options
author | Seivan Heidari <[email protected]> | 2019-11-09 16:23:30 +0000 |
---|---|---|
committer | Seivan Heidari <[email protected]> | 2019-11-09 16:23:30 +0000 |
commit | 83a33fbbeae9cbec8bec855e9338b7ccd08bd3a0 (patch) | |
tree | 7378bc3b85599264027eaab28ff017ed933fb984 /editors/code/src/config.ts | |
parent | 529b227d42951feabf64c8c964b00e726dd92d46 (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.ts | 5 |
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' |