From dc217bdf90d555eaa1780041fc3a14e64173994d Mon Sep 17 00:00:00 2001
From: vsrs <vit@conrlab.com>
Date: Sun, 17 May 2020 19:51:44 +0300
Subject: CodeLens configuration options.

---
 editors/code/src/config.ts | 11 +++++++++++
 1 file changed, 11 insertions(+)

(limited to 'editors/code/src')

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 {
         "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"),
+        };
+    }
 }
-- 
cgit v1.2.3