diff options
author | DJMcNab <[email protected]> | 2019-02-10 10:06:33 +0000 |
---|---|---|
committer | DJMcNab <[email protected]> | 2019-02-10 10:06:33 +0000 |
commit | 913831702154fb6c532622fb50ab0d7aebceb3d9 (patch) | |
tree | d923b8bead1cca38141163c8c234fe1660e5f61d /editors/code/src | |
parent | 166c72042564bc94586b071d627164a06400576b (diff) |
Add support for a seperate output channel for trace messages
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/server.ts | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/editors/code/src/server.ts b/editors/code/src/server.ts index 0d2632708..7bb0e56ca 100644 --- a/editors/code/src/server.ts +++ b/editors/code/src/server.ts | |||
@@ -1,5 +1,6 @@ | |||
1 | import * as lc from 'vscode-languageclient'; | 1 | import * as lc from 'vscode-languageclient'; |
2 | 2 | ||
3 | import { window } from 'vscode'; | ||
3 | import { Config } from './config'; | 4 | import { Config } from './config'; |
4 | import { Highlighter } from './highlighting'; | 5 | import { Highlighter } from './highlighting'; |
5 | 6 | ||
@@ -19,16 +20,18 @@ export class Server { | |||
19 | run, | 20 | run, |
20 | debug: run | 21 | debug: run |
21 | }; | 22 | }; |
23 | const traceOutputChannel = window.createOutputChannel('Rust Analyzer Language Server Trace'); | ||
22 | const clientOptions: lc.LanguageClientOptions = { | 24 | const clientOptions: lc.LanguageClientOptions = { |
23 | documentSelector: [{ scheme: 'file', language: 'rust' }], | 25 | documentSelector: [{ scheme: 'file', language: 'rust' }], |
24 | initializationOptions: { | 26 | initializationOptions: { |
25 | publishDecorations: true | 27 | publishDecorations: true |
26 | } | 28 | }, |
29 | traceOutputChannel | ||
27 | }; | 30 | }; |
28 | 31 | ||
29 | Server.client = new lc.LanguageClient( | 32 | Server.client = new lc.LanguageClient( |
30 | 'ra-lsp', | 33 | 'ra-lsp', |
31 | 'rust-analyzer language server', | 34 | 'Rust Analyzer Language Server', |
32 | serverOptions, | 35 | serverOptions, |
33 | clientOptions | 36 | clientOptions |
34 | ); | 37 | ); |