diff options
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r-- | editors/code/src/config.ts | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/editors/code/src/config.ts b/editors/code/src/config.ts index 347c989c4..47e8cd45d 100644 --- a/editors/code/src/config.ts +++ b/editors/code/src/config.ts | |||
@@ -1,6 +1,7 @@ | |||
1 | import * as os from "os"; | 1 | import * as os from "os"; |
2 | import * as vscode from 'vscode'; | 2 | import * as vscode from 'vscode'; |
3 | import { BinarySource } from "./installation/interfaces"; | 3 | import { BinarySource } from "./installation/interfaces"; |
4 | import { log } from "./util"; | ||
4 | 5 | ||
5 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; | 6 | const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; |
6 | 7 | ||
@@ -46,7 +47,9 @@ export class Config { | |||
46 | 47 | ||
47 | private refreshConfig() { | 48 | private refreshConfig() { |
48 | this.cfg = vscode.workspace.getConfiguration(Config.rootSection); | 49 | this.cfg = vscode.workspace.getConfiguration(Config.rootSection); |
49 | console.log("Using configuration:", this.cfg); | 50 | const enableLogging = this.cfg.get("trace.extension") as boolean; |
51 | log.setEnabled(enableLogging); | ||
52 | log.debug("Using configuration:", this.cfg); | ||
50 | } | 53 | } |
51 | 54 | ||
52 | private async onConfigChange(event: vscode.ConfigurationChangeEvent) { | 55 | private async onConfigChange(event: vscode.ConfigurationChangeEvent) { |