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/server.ts | |
parent | 8dd0e0086fc07422c9b1044b1db021cff6563214 (diff) |
Omit default parameter types
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 2 |
1 files changed, 2 insertions, 0 deletions
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, |