vscode-dotty: don't show the output channel on server error

Most of the time, the server can recover from errors, so displaying the
stack trace to the user will only confuse him.

Author: smarter

vscode-dotty/src/extension.ts

@@ -7,7 +7,8 @@ import * as cpp from 'child-process-promise';
 
 import { ExtensionContext } from 'vscode';
 import * as vscode from 'vscode';
-import { LanguageClient, LanguageClientOptions, ServerOptions } from 'vscode-languageclient';
+import { LanguageClient, LanguageClientOptions, RevealOutputChannelOn,
+         ServerOptions } from 'vscode-languageclient';
 
 let extensionContext: ExtensionContext
 let outputChannel: vscode.OutputChannel
@@ -156,7 +157,8 @@ function run(serverOptions: ServerOptions) {
     ],
     synchronize: {
       configurationSection: 'dotty'
-    }
+    },
+    revealOutputChannelOn: RevealOutputChannelOn.Never
   }
 
   outputChannel.dispose()