diff options
| author | Veetaha <[email protected]> | 2020-02-16 23:47:14 +0000 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-02-17 00:07:11 +0000 |
| commit | bd113623a02dc253549464667af8931e2ff378bc (patch) | |
| tree | a3fabd75ef0e1b5b60381d62f761c94daf2d1299 /editors/code/src/config.ts | |
| parent | 31ae64644864257b2375167df56c0b2e3839a9fd (diff) | |
vscode: minor refactorings
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 70cb0a612..53e2a414b 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
| @@ -44,7 +44,6 @@ export class Config { | |||
| 44 | this.refreshConfig(); | 44 | this.refreshConfig(); |
| 45 | } | 45 | } |
| 46 | 46 | ||
| 47 | |||
| 48 | private refreshConfig() { | 47 | private refreshConfig() { |
| 49 | this.cfg = vscode.workspace.getConfiguration(Config.rootSection); | 48 | this.cfg = vscode.workspace.getConfiguration(Config.rootSection); |
| 50 | console.log("Using configuration:", this.cfg); | 49 | console.log("Using configuration:", this.cfg); |