diff options
Diffstat (limited to 'editors')
-rw-r--r-- | editors/code/src/config.ts | 6 | ||||
-rw-r--r-- | editors/code/src/server.ts | 2 |
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, |