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"),