diff options
author | Aleksey Kladov <[email protected]> | 2019-08-06 12:34:28 +0100 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-08-06 13:28:31 +0100 |
commit | deea8f52d9803bb8a93d5dbd935970a20f07a51e (patch) | |
tree | 989408695c8c7347d4c9e907cf3f8feff7f2a982 /editors/code/src/config.ts | |
parent | 058c2daba1b81804d9f803e57c72f5702c124d9e (diff) |
allow to exclude certain files and directories
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 4d58a1a93..4df6b50ef 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -22,6 +22,7 @@ export class Config { | |||
22 | public showWorkspaceLoadedNotification = true; | 22 | public showWorkspaceLoadedNotification = true; |
23 | public lruCapacity: null | number = null; | 23 | public lruCapacity: null | number = null; |
24 | public displayInlayHints = true; | 24 | public displayInlayHints = true; |
25 | public excludeGlobs = []; | ||
25 | public cargoWatchOptions: CargoWatchOptions = { | 26 | public cargoWatchOptions: CargoWatchOptions = { |
26 | enableOnStartup: 'ask', | 27 | enableOnStartup: 'ask', |
27 | trace: 'off', | 28 | trace: 'off', |
@@ -128,5 +129,8 @@ export class Config { | |||
128 | if (config.has('displayInlayHints')) { | 129 | if (config.has('displayInlayHints')) { |
129 | this.displayInlayHints = config.get('displayInlayHints') as boolean; | 130 | this.displayInlayHints = config.get('displayInlayHints') as boolean; |
130 | } | 131 | } |
132 | if (config.has('excludeGlobs')) { | ||
133 | this.excludeGlobs = config.get('excludeGlobs') || []; | ||
134 | } | ||
131 | } | 135 | } |
132 | } | 136 | } |