aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/config.ts
diff options
context:
space:
mode:
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>2019-10-23 12:13:04 +0100
committerGitHub <[email protected]>2019-10-23 12:13:04 +0100
commitd2e1f9f6da01132fd23394b5b789e4ef96ccc444 (patch)
tree686a96cbf68c7ae3c43c9f062d49cf70edd71cdb /editors/code/src/config.ts
parent195272270be99c353c9555c9e36c66068434af60 (diff)
parent770bb8dc9b0d2e693918a4f8c8039bf2c6deab66 (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.ts6
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 }