diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 2578bc6d1..331936b5e 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -12,6 +12,7 @@ export interface CargoWatchOptions { | |||
12 | arguments: string; | 12 | arguments: string; |
13 | command: string; | 13 | command: string; |
14 | trace: CargoWatchTraceOptions; | 14 | trace: CargoWatchTraceOptions; |
15 | ignore: string[]; | ||
15 | } | 16 | } |
16 | 17 | ||
17 | export class Config { | 18 | export class Config { |
@@ -30,7 +31,8 @@ export class Config { | |||
30 | enableOnStartup: 'ask', | 31 | enableOnStartup: 'ask', |
31 | trace: 'off', | 32 | trace: 'off', |
32 | arguments: '', | 33 | arguments: '', |
33 | command: '' | 34 | command: '', |
35 | ignore: [] | ||
34 | }; | 36 | }; |
35 | 37 | ||
36 | private prevEnhancedTyping: null | boolean = null; | 38 | private prevEnhancedTyping: null | boolean = null; |
@@ -125,6 +127,13 @@ export class Config { | |||
125 | ); | 127 | ); |
126 | } | 128 | } |
127 | 129 | ||
130 | if (config.has('cargo-watch.ignore')) { | ||
131 | this.cargoWatchOptions.ignore = config.get<string[]>( | ||
132 | 'cargo-watch.ignore', | ||
133 | [] | ||
134 | ); | ||
135 | } | ||
136 | |||
128 | if (config.has('lruCapacity')) { | 137 | if (config.has('lruCapacity')) { |
129 | this.lruCapacity = config.get('lruCapacity') as number; | 138 | this.lruCapacity = config.get('lruCapacity') as number; |
130 | } | 139 | } |