10630: fix: Don't ask the user to reload when chaning HoverAction configs in VSCode r=Veykril a=Veykril

To my knowledge, all of these are re-read on hover requests so there is no longer a reason to reload when changing these.
bors r+

Co-authored-by: Lukas Wirth <lukastw97@gmail.com>
This commit is contained in:
bors[bot] 2021-10-25 12:50:17 +00:00 committed by GitHub
commit e81e3c3980
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -21,7 +21,6 @@ export class Config {
"highlighting", "highlighting",
"updates.channel", "updates.channel",
"lens", // works as lens.* "lens", // works as lens.*
"hoverActions", // works as hoverActions.*
] ]
.map(opt => `${this.rootSection}.${opt}`); .map(opt => `${this.rootSection}.${opt}`);