CodeLens configuration options.

2020-05-17 19:51:44 +03:00
parent 71e94b1d0b
commit dc217bdf90
4 changed files with 168 additions and 92 deletions
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -16,6 +16,9 @@ export class Config {
        "files",
        "highlighting",
        "updates.channel",
+        "lens.run",
+        "lens.debug",
+        "lens.implementations",
    ]
        .map(opt => `${this.rootSection}.${opt}`);

@@ -119,4 +122,12 @@ export class Config {
            sourceFileMap: sourceFileMap
        };
    }
+
+    get lens() {
+        return {
+            run: this.get<boolean>("lens.run"),
+            debug: this.get<boolean>("lens.debug"),
+            implementations: this.get<boolean>("lens.implementations"),
+        };
+    }
 }