diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 3024546d2..85366fc34 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -1,6 +1,7 @@ | |||
1 | import * as vscode from 'vscode'; | 1 | import * as vscode from 'vscode'; |
2 | 2 | ||
3 | import { Server } from './server'; | 3 | import { Server } from './server'; |
4 | import { strict } from 'assert'; | ||
4 | 5 | ||
5 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; | 6 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; |
6 | 7 | ||
@@ -10,6 +11,7 @@ export type CargoWatchTraceOptions = 'off' | 'error' | 'verbose'; | |||
10 | export interface CargoWatchOptions { | 11 | export interface CargoWatchOptions { |
11 | enableOnStartup: CargoWatchStartupOptions; | 12 | enableOnStartup: CargoWatchStartupOptions; |
12 | checkArguments: string; | 13 | checkArguments: string; |
14 | checkCommand: string; | ||
13 | trace: CargoWatchTraceOptions; | 15 | trace: CargoWatchTraceOptions; |
14 | } | 16 | } |
15 | 17 | ||
@@ -23,7 +25,8 @@ export class Config { | |||
23 | public cargoWatchOptions: CargoWatchOptions = { | 25 | public cargoWatchOptions: CargoWatchOptions = { |
24 | enableOnStartup: 'ask', | 26 | enableOnStartup: 'ask', |
25 | trace: 'off', | 27 | trace: 'off', |
26 | checkArguments: '' | 28 | checkArguments: '', |
29 | checkCommand: '' | ||
27 | }; | 30 | }; |
28 | 31 | ||
29 | private prevEnhancedTyping: null | boolean = null; | 32 | private prevEnhancedTyping: null | boolean = null; |
@@ -110,6 +113,14 @@ export class Config { | |||
110 | '' | 113 | '' |
111 | ); | 114 | ); |
112 | } | 115 | } |
116 | |||
117 | if (config.has('cargo-watch.check-command')) { | ||
118 | this.cargoWatchOptions.checkCommand = config.get<string>( | ||
119 | 'cargo-watch.check-command', | ||
120 | '' | ||
121 | ); | ||
122 | } | ||
123 | |||
113 | if (config.has('lruCapacity')) { | 124 | if (config.has('lruCapacity')) { |
114 | this.lruCapacity = config.get('lruCapacity') as number; | 125 | this.lruCapacity = config.get('lruCapacity') as number; |
115 | } | 126 | } |