Unnamed repository; edit this file 'description' to name the repository.
-rw-r--r--editors/code/src/config.ts1
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
index 0987070b94..3f3ca63098 100644
--- a/editors/code/src/config.ts
+++ b/editors/code/src/config.ts
@@ -21,7 +21,6 @@ export class Config {
"highlighting",
"updates.channel",
"lens", // works as lens.*
- "hoverActions", // works as hoverActions.*
]
.map(opt => `${this.rootSection}.${opt}`);