diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-12-17 11:42:19 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-12-17 11:42:19 +0000 |
commit | 7191dd7d5311af0ad8ce5ea9d6d81b64acd25355 (patch) | |
tree | ac20b3b252a8dc9e83b09bdf159835152f8bdac4 /editors/code/src | |
parent | 827831de87ee16c4cd9744b93aecd86fb6e438e5 (diff) | |
parent | 2432f278cb97701e1ca3750bc691ca9bd757892f (diff) |
Merge #2578
2578: Default to client watching on VS Code r=matklad a=matklad
Co-authored-by: Aleksey Kladov <[email protected]>
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/config.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index defdfeb9c..df15c8172 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -30,7 +30,7 @@ export class Config { | |||
30 | public displayInlayHints = true; | 30 | public displayInlayHints = true; |
31 | public maxInlayHintLength: null | number = null; | 31 | public maxInlayHintLength: null | number = null; |
32 | public excludeGlobs = []; | 32 | public excludeGlobs = []; |
33 | public useClientWatching = false; | 33 | public useClientWatching = true; |
34 | public featureFlags = {}; | 34 | public featureFlags = {}; |
35 | // for internal use | 35 | // for internal use |
36 | public withSysroot: null | boolean = null; | 36 | public withSysroot: null | boolean = null; |
@@ -148,7 +148,7 @@ export class Config { | |||
148 | this.excludeGlobs = config.get('excludeGlobs') || []; | 148 | this.excludeGlobs = config.get('excludeGlobs') || []; |
149 | } | 149 | } |
150 | if (config.has('useClientWatching')) { | 150 | if (config.has('useClientWatching')) { |
151 | this.useClientWatching = config.get('useClientWatching') || false; | 151 | this.useClientWatching = config.get('useClientWatching') || true; |
152 | } | 152 | } |
153 | if (config.has('featureFlags')) { | 153 | if (config.has('featureFlags')) { |
154 | this.featureFlags = config.get('featureFlags') || {}; | 154 | this.featureFlags = config.get('featureFlags') || {}; |