aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorvsrs <[email protected]>2020-05-17 17:51:44 +0100
committervsrs <[email protected]>2020-05-17 17:51:44 +0100
commitdc217bdf90d555eaa1780041fc3a14e64173994d (patch)
tree547807df99ad67f5be229ccb600610a376189723 /editors/code/src
parent71e94b1d0bf7c58aa377513f010fcb3f56081f5f (diff)
CodeLens configuration options.
Diffstat (limited to 'editors/code/src')
-rw-r--r--editors/code/src/config.ts11
1 files changed, 11 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 1652827c3..93d9aa160 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -16,6 +16,9 @@ export class Config {
16 "files", 16 "files",
17 "highlighting", 17 "highlighting",
18 "updates.channel", 18 "updates.channel",
19 "lens.run",
20 "lens.debug",
21 "lens.implementations",
19 ] 22 ]
20 .map(opt => `${this.rootSection}.${opt}`); 23 .map(opt => `${this.rootSection}.${opt}`);
21 24
@@ -119,4 +122,12 @@ export class Config {
119 sourceFileMap: sourceFileMap 122 sourceFileMap: sourceFileMap
120 }; 123 };
121 } 124 }
125
126 get lens() {
127 return {
128 run: this.get<boolean>("lens.run"),
129 debug: this.get<boolean>("lens.debug"),
130 implementations: this.get<boolean>("lens.implementations"),
131 };
132 }
122} 133}