From deea8f52d9803bb8a93d5dbd935970a20f07a51e Mon Sep 17 00:00:00 2001 From: Aleksey Kladov Date: Tue, 6 Aug 2019 13:34:28 +0200 Subject: allow to exclude certain files and directories --- editors/code/src/config.ts | 4 ++++ editors/code/src/server.ts | 3 ++- 2 files changed, 6 insertions(+), 1 deletion(-) (limited to 'editors/code/src') 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 { public showWorkspaceLoadedNotification = true; public lruCapacity: null | number = null; public displayInlayHints = true; + public excludeGlobs = []; public cargoWatchOptions: CargoWatchOptions = { enableOnStartup: 'ask', trace: 'off', @@ -128,5 +129,8 @@ export class Config { if (config.has('displayInlayHints')) { this.displayInlayHints = config.get('displayInlayHints') as boolean; } + if (config.has('excludeGlobs')) { + this.excludeGlobs = config.get('excludeGlobs') || []; + } } } 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 { publishDecorations: true, showWorkspaceLoaded: Server.config.showWorkspaceLoadedNotification, - lruCapacity: Server.config.lruCapacity + lruCapacity: Server.config.lruCapacity, + excludeGlobs: Server.config.excludeGlobs }, traceOutputChannel }; -- cgit v1.2.3