diff options
| -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 3ce669330b3..8cd89e11969 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts @@ -37,7 +37,7 @@ export class Config { console.log("Using configuration:", this.cfg); } - async onConfigChange(event: vscode.ConfigurationChangeEvent) { + private async onConfigChange(event: vscode.ConfigurationChangeEvent) { this.refreshConfig(); const requiresReloadOpt = Config.requiresReloadOpts.find( |