diff options
author | bors[bot] <26634292+bors[bot]@users.noreply.github.com> | 2019-10-23 12:13:04 +0100 |
---|---|---|
committer | GitHub <[email protected]> | 2019-10-23 12:13:04 +0100 |
commit | d2e1f9f6da01132fd23394b5b789e4ef96ccc444 (patch) | |
tree | 686a96cbf68c7ae3c43c9f062d49cf70edd71cdb /editors/code/src/config.ts | |
parent | 195272270be99c353c9555c9e36c66068434af60 (diff) | |
parent | 770bb8dc9b0d2e693918a4f8c8039bf2c6deab66 (diff) |
Merge #1980
1980: Shorten inline type hints r=matklad a=detrumi
Implements #1946
Co-authored-by: Wilco Kusee <[email protected]>
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 49bdf7d72..331936b5e 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -23,6 +23,7 @@ export class Config { | |||
23 | public showWorkspaceLoadedNotification = true; | 23 | public showWorkspaceLoadedNotification = true; |
24 | public lruCapacity: null | number = null; | 24 | public lruCapacity: null | number = null; |
25 | public displayInlayHints = true; | 25 | public displayInlayHints = true; |
26 | public maxInlayHintLength: null | number = null; | ||
26 | public excludeGlobs = []; | 27 | public excludeGlobs = []; |
27 | public useClientWatching = false; | 28 | public useClientWatching = false; |
28 | public featureFlags = {}; | 29 | public featureFlags = {}; |
@@ -140,6 +141,11 @@ export class Config { | |||
140 | if (config.has('displayInlayHints')) { | 141 | if (config.has('displayInlayHints')) { |
141 | this.displayInlayHints = config.get('displayInlayHints') as boolean; | 142 | this.displayInlayHints = config.get('displayInlayHints') as boolean; |
142 | } | 143 | } |
144 | if (config.has('maxInlayHintLength')) { | ||
145 | this.maxInlayHintLength = config.get( | ||
146 | 'maxInlayHintLength' | ||
147 | ) as number; | ||
148 | } | ||
143 | if (config.has('excludeGlobs')) { | 149 | if (config.has('excludeGlobs')) { |
144 | this.excludeGlobs = config.get('excludeGlobs') || []; | 150 | this.excludeGlobs = config.get('excludeGlobs') || []; |
145 | } | 151 | } |