From db7af60eb3039c86459cd14f14e7410154b72e7f Mon Sep 17 00:00:00 2001 From: SeeBasTStick <sebastian.stock@hhu.de> Date: Sun, 16 Aug 2020 13:00:37 +0200 Subject: [PATCH] proper debug console behavior --- src/extension.ts | 24 ++++++++++++------------ 1 file changed, 12 insertions(+), 12 deletions(-) diff --git a/src/extension.ts b/src/extension.ts index 720ad80..69ccdab 100644 --- a/src/extension.ts +++ b/src/extension.ts @@ -29,10 +29,11 @@ export function activate(context: ExtensionContext) { args: [ "-jar", serverHome] }; + let debugChannle = window.createOutputChannel("ProB language server") debugChannle.appendLine("starting server at <" + javaHome + " -jar " + serverHome + ">") - debugChannle.appendLine("fs exits " + fs.existsSync(serverHome)) + //debugChannle.appendLine("fs exits " + fs.existsSync(serverHome)) // Options to control the language client let clientOptions: LanguageClientOptions = { // Register the server for B files @@ -57,26 +58,25 @@ export function activate(context: ExtensionContext) { let disposable = client.start(); context.subscriptions.push(disposable); - + const debugMode : Boolean = workspace.getConfiguration("languageServer").get("debugMode") + if(!debugMode){ + debugChannle.hide() + }else{ + debugChannle.show() + } + console.log(workspace.getConfiguration("languageServer").get("debugMode")) - - workspace.onDidChangeConfiguration(() => { - - showDebugMessages(debugChannle) - }) - - client.onDidChangeState(() => { + window.onDidOpenTerminal(() => + { showDebugMessages(debugChannle) - - }) + }) } function showDebugMessages(debugChannle : OutputChannel){ const debugMode : Boolean = workspace.getConfiguration("languageServer").get("debugMode") - console.log(debugMode) if(debugMode) { debugChannle.show() -- GitLab