From 4c582ffe9fa1a729b081d91f3d6ea49454dfabed Mon Sep 17 00:00:00 2001
From: Lukas Wirth <lukastw97@gmail.com>
Date: Mon, 25 Oct 2021 14:48:36 +0200
Subject: [PATCH] Don't ask the user to reload when chaning HoverAction configs
 in VSCode

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

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}`);