diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 501997fef..c37c6276b 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -71,8 +71,6 @@ export class Config { | |||
71 | get channel() { return this.cfg.get<UpdatesChannel>("updates.channel")!; } | 71 | get channel() { return this.cfg.get<UpdatesChannel>("updates.channel")!; } |
72 | get askBeforeDownload() { return this.cfg.get<boolean>("updates.askBeforeDownload")!; } | 72 | get askBeforeDownload() { return this.cfg.get<boolean>("updates.askBeforeDownload")!; } |
73 | get highlightingSemanticTokens() { return this.cfg.get<boolean>("highlighting.semanticTokens")!; } | 73 | get highlightingSemanticTokens() { return this.cfg.get<boolean>("highlighting.semanticTokens")!; } |
74 | get highlightingOn() { return this.cfg.get<boolean>("highlightingOn")!; } | ||
75 | get rainbowHighlightingOn() { return this.cfg.get<boolean>("rainbowHighlightingOn")!; } | ||
76 | get lruCapacity() { return this.cfg.get<null | number>("lruCapacity")!; } | 74 | get lruCapacity() { return this.cfg.get<null | number>("lruCapacity")!; } |
77 | get excludeGlobs() { return this.cfg.get<string[]>("excludeGlobs")!; } | 75 | get excludeGlobs() { return this.cfg.get<string[]>("excludeGlobs")!; } |
78 | get useClientWatching() { return this.cfg.get<boolean>("useClientWatching")!; } | 76 | get useClientWatching() { return this.cfg.get<boolean>("useClientWatching")!; } |