diff options
Diffstat (limited to 'editors/code')
-rw-r--r-- | editors/code/src/config.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 3ce669330..8cd89e119 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -37,7 +37,7 @@ export class Config { | |||
37 | console.log("Using configuration:", this.cfg); | 37 | console.log("Using configuration:", this.cfg); |
38 | } | 38 | } |
39 | 39 | ||
40 | async onConfigChange(event: vscode.ConfigurationChangeEvent) { | 40 | private async onConfigChange(event: vscode.ConfigurationChangeEvent) { |
41 | this.refreshConfig(); | 41 | this.refreshConfig(); |
42 | 42 | ||
43 | const requiresReloadOpt = Config.requiresReloadOpts.find( | 43 | const requiresReloadOpt = Config.requiresReloadOpts.find( |