Require reload for all highlighting changes

SomeoneToIgnore · SomeoneToIgnore · commit fe379be8f382 · 2020-03-24T22:09:07.000+02:00
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts
@@ -33,7 +33,7 @@ export class Config {
         "cargoFeatures",
         "excludeGlobs",
         "useClientWatching",
-        "highlighting.semanticTokens",
+        "highlighting",
         "updates.channel",
     ]
         .map(opt => `${this.rootSection}.${opt}`);

Original file line number	Diff line number	Diff line change
`@@ -33,7 +33,7 @@ export class Config {`
`33`	`33`	`"cargoFeatures",`
`34`	`34`	`"excludeGlobs",`
`35`	`35`	`"useClientWatching",`
`36`		`- "highlighting.semanticTokens",`
	`36`	`+ "highlighting",`
`37`	`37`	`"updates.channel",`
`38`	`38`	`]`
`39`	`39`	.map(opt => `${this.rootSection}.${opt}`);