proper debug console behavior

src/extension.ts

@@ -30,9 +30,10 @@ export function activate(context: ExtensionContext) {
 	};
 
 	
+
 	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,18 +58,18 @@ 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)
-		
 	})	
 
 
@@ -76,7 +77,6 @@ export function activate(context: ExtensionContext) {
 
 function showDebugMessages(debugChannle : OutputChannel){
 	const debugMode : Boolean = workspace.getConfiguration("languageServer").get("debugMode")
-	console.log(debugMode)
 	if(debugMode)
 	{
 		debugChannle.show()