diff options
| author | Veetaha <[email protected]> | 2020-02-14 21:06:11 +0000 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-02-14 21:06:11 +0000 |
| commit | 20fabaf1eeec32e1115627a5552eddf0c074ce37 (patch) | |
| tree | 76c0bd8b1f5069a150c4a57264bde7891796bc2c | |
| parent | 4fb427743c27c63a4aa3ccd54c488b22d4308bc2 (diff) | |
make onConfigChange handler private
| -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( |