diff options
author | Aleksey Kladov <[email protected]> | 2019-11-20 05:38:25 +0000 |
---|---|---|
committer | GitHub <[email protected]> | 2019-11-20 05:38:25 +0000 |
commit | eec68e6f451ee7675ce2cb29b696df091e6aed13 (patch) | |
tree | f83c828be31f5ac3950bf41c027a30365cfc7bd6 /editors/code/src/server.ts | |
parent | 0e61ba3750df7e3e19eda21b6486bf70d6dffc72 (diff) | |
parent | bf5ac4fe3952ee0db9fe18a185e39a209c58e79b (diff) |
Merge pull request #2297 from kiljacken/master
Add fancy truncation of type hints.
Diffstat (limited to 'editors/code/src/server.ts')
-rw-r--r-- | editors/code/src/server.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index a3ef21a16..7907b70bc 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -43,6 +43,7 @@ export class Server { | |||
43 | initializationOptions: { | 43 | initializationOptions: { |
44 | publishDecorations: true, | 44 | publishDecorations: true, |
45 | lruCapacity: Server.config.lruCapacity, | 45 | lruCapacity: Server.config.lruCapacity, |
46 | maxInlayHintLength: Server.config.maxInlayHintLength, | ||
46 | excludeGlobs: Server.config.excludeGlobs, | 47 | excludeGlobs: Server.config.excludeGlobs, |
47 | useClientWatching: Server.config.useClientWatching, | 48 | useClientWatching: Server.config.useClientWatching, |
48 | featureFlags: Server.config.featureFlags | 49 | featureFlags: Server.config.featureFlags |