From 5b9f1732540fa273af84769080a18f484f67c79c Mon Sep 17 00:00:00 2001
From: Kevin DeLorey <kdelorey.dev@gmail.com>
Date: Fri, 23 Jul 2021 07:50:37 -0600
Subject: [PATCH] Removed all dead config accessors.

---
 editors/code/src/config.ts | 17 -----------------
 1 file changed, 17 deletions(-)

diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 2277eeb7ea..0987070b94 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -120,12 +120,6 @@ export class Config {
         };
     }
 
-    get checkOnSave() {
-        return {
-            command: this.get<string>("checkOnSave.command"),
-        };
-    }
-
     get cargoRunner() {
         return this.get<string | undefined>("cargoRunner");
     }
@@ -150,17 +144,6 @@ export class Config {
         };
     }
 
-    get lens() {
-        return {
-            enable: this.get<boolean>("lens.enable"),
-            run: this.get<boolean>("lens.run"),
-            debug: this.get<boolean>("lens.debug"),
-            implementations: this.get<boolean>("lens.implementations"),
-            methodReferences: this.get<boolean>("lens.methodReferences"),
-            references: this.get<boolean>("lens.references"),
-        };
-    }
-
     get hoverActions() {
         return {
             enable: this.get<boolean>("hoverActions.enable"),