allow to exclude certain files and directories

This commit is contained in:
Aleksey Kladov 2019-08-06 13:34:28 +02:00
parent 058c2daba1
commit deea8f52d9
7 changed files with 43 additions and 15 deletions

View file

@ -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') || [];
}
}
}

View file

@ -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
};