diff options
Diffstat (limited to 'editors/vscode/src/extension.ts')
| -rw-r--r-- | editors/vscode/src/extension.ts | 8 |
1 files changed, 7 insertions, 1 deletions
diff --git a/editors/vscode/src/extension.ts b/editors/vscode/src/extension.ts index 4081bd6..5756293 100644 --- a/editors/vscode/src/extension.ts +++ b/editors/vscode/src/extension.ts @@ -42,6 +42,8 @@ const defaultConfig = JSON.stringify( let ctx: Ctx; +let outputChannel: vscode.LogOutputChannel; + export async function activate(context: vscode.ExtensionContext) { const config = new Config(context); @@ -100,9 +102,13 @@ export async function activate(context: vscode.ExtensionContext) { }, }; + + outputChannel = vscode.window.createOutputChannel("Odin Language Server", { log: true }); + + let clientOptions: LanguageClientOptions = { documentSelector: [{ scheme: 'file', language: 'odin' }], - outputChannel: vscode.window.createOutputChannel("Odin Language Server") + outputChannel: outputChannel, }; var client = new LanguageClient( |