aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/config.ts4
-rw-r--r--editors/code/src/server.ts3
2 files changed, 6 insertions, 1 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}
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index 7029142fd..2b4c25c28 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -36,7 +36,8 @@ export class Server {
36 publishDecorations: true, 36 publishDecorations: true,
37 showWorkspaceLoaded: 37 showWorkspaceLoaded:
38 Server.config.showWorkspaceLoadedNotification, 38 Server.config.showWorkspaceLoadedNotification,
39 lruCapacity: Server.config.lruCapacity 39 lruCapacity: Server.config.lruCapacity,
40 excludeGlobs: Server.config.excludeGlobs
40 }, 41 },
41 traceOutputChannel 42 traceOutputChannel
42 }; 43 };