diff --git a/vscode-dotty/package.json b/vscode-dotty/package.json index 3b9e55110114..09601ac80b2d 100644 --- a/vscode-dotty/package.json +++ b/vscode-dotty/package.json @@ -51,7 +51,7 @@ "vscode:prepublish": "npm install && ./node_modules/.bin/tsc -p ./", "compile": "./node_modules/.bin/tsc -p ./", "test": "node ./node_modules/vscode/bin/test", - "postinstall": "node ./node_modules/vscode/bin/install && curl -L -o out/coursier https://github.com/coursier/coursier/raw/v1.0.3/coursier" + "postinstall": "node ./node_modules/vscode/bin/install && curl -L -o out/coursier https://github.com/coursier/coursier/raw/v1.1.0-M7/coursier" }, "extensionDependencies": [ "daltonjorge.scala" diff --git a/vscode-dotty/src/extension.ts b/vscode-dotty/src/extension.ts index 3ce21b10fcdc..52921936017a 100644 --- a/vscode-dotty/src/extension.ts +++ b/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()