Unnamed repository; edit this file 'description' to name the repository.
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 2ae3291345..896b3c10cb 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -27,6 +27,7 @@ export class Config { "server", "files", "cfg", + "showSyntaxTree", ].map((opt) => `${this.rootSection}.${opt}`); private readonly requiresWindowReloadOpts = ["testExplorer"].map( |