diff options
author | Kirill Bulatov <[email protected]> | 2019-12-07 22:54:18 +0000 |
---|---|---|
committer | Kirill Bulatov <[email protected]> | 2019-12-19 10:27:33 +0000 |
commit | 14c167a9f6da07024a5101ffa04bc2f79ce64353 (patch) | |
tree | a5fc10aaa8ed0cad0c08a9ff478acb23795aa322 /editors/code/src | |
parent | 8dd0e0086fc07422c9b1044b1db021cff6563214 (diff) |
Omit default parameter types
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/config.ts | 6 | ||||
-rw-r--r-- | editors/code/src/server.ts | 2 |
2 files changed, 8 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index e131f09df..26bf30e7f 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -30,6 +30,7 @@ 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; | ||
33 | public excludeGlobs = []; | 34 | public excludeGlobs = []; |
34 | public useClientWatching = true; | 35 | public useClientWatching = true; |
35 | public featureFlags = {}; | 36 | public featureFlags = {}; |
@@ -153,6 +154,11 @@ export class Config { | |||
153 | 'maxInlayHintLength', | 154 | 'maxInlayHintLength', |
154 | ) as number; | 155 | ) as number; |
155 | } | 156 | } |
157 | if (config.has('showDefaultTypesInInlayHints')) { | ||
158 | this.showDefaultTypesInInlayHints = config.get( | ||
159 | 'showDefaultTypesInInlayHints', | ||
160 | ) as boolean; | ||
161 | } | ||
156 | if (config.has('excludeGlobs')) { | 162 | if (config.has('excludeGlobs')) { |
157 | this.excludeGlobs = config.get('excludeGlobs') || []; | 163 | this.excludeGlobs = config.get('excludeGlobs') || []; |
158 | } | 164 | } |
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 5ace1d0fa..e7d1df943 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -55,6 +55,8 @@ 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, | ||
58 | excludeGlobs: Server.config.excludeGlobs, | 60 | excludeGlobs: Server.config.excludeGlobs, |
59 | useClientWatching: Server.config.useClientWatching, | 61 | useClientWatching: Server.config.useClientWatching, |
60 | featureFlags: Server.config.featureFlags, | 62 | featureFlags: Server.config.featureFlags, |