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/server.ts | |
parent | 058c2daba1b81804d9f803e57c72f5702c124d9e (diff) |
allow to exclude certain files and directories
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 3 |
1 files changed, 2 insertions, 1 deletions
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 | }; |