aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/config.ts6
-rw-r--r--editors/code/src/server.ts2
2 files changed, 0 insertions, 8 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 26bf30e7f..e131f09df 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -30,7 +30,6 @@ export class Config {
30 public lruCapacity: null | number = null; 30 public lruCapacity: null | number = null;
31 public displayInlayHints = true; 31 public displayInlayHints = true;
32 public maxInlayHintLength: null | number = null; 32 public maxInlayHintLength: null | number = null;
33 public showDefaultTypesInInlayHints = false;
34 public excludeGlobs = []; 33 public excludeGlobs = [];
35 public useClientWatching = true; 34 public useClientWatching = true;
36 public featureFlags = {}; 35 public featureFlags = {};
@@ -154,11 +153,6 @@ export class Config {
154 'maxInlayHintLength', 153 'maxInlayHintLength',
155 ) as number; 154 ) as number;
156 } 155 }
157 if (config.has('showDefaultTypesInInlayHints')) {
158 this.showDefaultTypesInInlayHints = config.get(
159 'showDefaultTypesInInlayHints',
160 ) as boolean;
161 }
162 if (config.has('excludeGlobs')) { 156 if (config.has('excludeGlobs')) {
163 this.excludeGlobs = config.get('excludeGlobs') || []; 157 this.excludeGlobs = config.get('excludeGlobs') || [];
164 } 158 }
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts
index e7d1df943..5ace1d0fa 100644
--- a/editors/code/src/server.ts
+++ b/editors/code/src/server.ts
@@ -55,8 +55,6 @@ export class Server {
55 publishDecorations: true, 55 publishDecorations: true,
56 lruCapacity: Server.config.lruCapacity, 56 lruCapacity: Server.config.lruCapacity,
57 maxInlayHintLength: Server.config.maxInlayHintLength, 57 maxInlayHintLength: Server.config.maxInlayHintLength,
58 showDefaultTypesInInlayHints:
59 Server.config.showDefaultTypesInInlayHints,
60 excludeGlobs: Server.config.excludeGlobs, 58 excludeGlobs: Server.config.excludeGlobs,
61 useClientWatching: Server.config.useClientWatching, 59 useClientWatching: Server.config.useClientWatching,
62 featureFlags: Server.config.featureFlags, 60 featureFlags: Server.config.featureFlags,