diff options
| author | George Fraser <george@fivetran.com> | 2017-04-16 13:09:04 -0700 |
|---|---|---|
| committer | George Fraser <george@fivetran.com> | 2017-04-16 13:09:04 -0700 |
| commit | 0a42ed9a1ec88334c745ec10c5773df8782fa0fd (patch) | |
| tree | 19f211bf57dcbe94dd9e4bfcfc8cea0386517c04 /lib | |
| parent | 3524fcba1fc2066a9adc381a57eded91c0bf24c1 (diff) | |
| download | java-language-server-0a42ed9a1ec88334c745ec10c5773df8782fa0fd.zip | |
Don't open debug console
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/Main.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/Main.ts b/lib/Main.ts index 15cd6a1..8d22110 100644 --- a/lib/Main.ts +++ b/lib/Main.ts @@ -43,7 +43,7 @@ export function activate(context: VSCode.ExtensionContext) { ] }, outputChannelName: 'Java', - revealOutputChannelOn: 3 + revealOutputChannelOn: 4 // never } function createServer(): Promise<StreamInfo> { |