diff options
| author | Veetaha <[email protected]> | 2020-07-05 15:42:52 +0100 |
|---|---|---|
| committer | Veetaha <[email protected]> | 2020-07-05 15:50:29 +0100 |
| commit | 3602f07bbee5b13dcd799cbc79381e9428808048 (patch) | |
| tree | 6ab6a643f8ae0d4486b4078c757f8a31a93d0111 /editors/code/src/config.ts | |
| parent | 8b0983e89ad9a28b142eccf3755a8c9aaeb37852 (diff) | |
Improve client logging (use output channel and more log levels)
Diffstat (limited to 'editors/code/src/config.ts')
| -rw-r--r-- | editors/code/src/config.ts | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 23975c726..033b04b60 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
| @@ -39,10 +39,10 @@ export class Config { | |||
| 39 | 39 | ||
| 40 | private refreshLogging() { | 40 | private refreshLogging() { |
| 41 | log.setEnabled(this.traceExtension); | 41 | log.setEnabled(this.traceExtension); |
| 42 | log.debug( | 42 | log.info("Extension version:", this.package.version); |
| 43 | "Extension version:", this.package.version, | 43 | |
| 44 | "using configuration:", this.cfg | 44 | const cfg = Object.entries(this.cfg).filter(([_, val]) => !(val instanceof Function)); |
| 45 | ); | 45 | log.info("Using configuration", Object.fromEntries(cfg)); |
| 46 | } | 46 | } |
| 47 | 47 | ||
| 48 | private async onDidChangeConfiguration(event: vscode.ConfigurationChangeEvent) { | 48 | private async onDidChangeConfiguration(event: vscode.ConfigurationChangeEvent) { |