aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/config.ts
diff options
context:
space:
mode:
Diffstat (limited to 'editors/code/src/config.ts')
-rw-r--r--editors/code/src/config.ts5
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 @@
1import * as os from "os"; 1import * as os from "os";
2import * as vscode from 'vscode'; 2import * as vscode from 'vscode';
3import { BinarySource } from "./installation/interfaces"; 3import { BinarySource } from "./installation/interfaces";
4import { log } from "./util";
4 5
5const RA_LSP_DEBUG = process.env.__RA_LSP_SERVER_DEBUG; 6const 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) {