diff options
| author | Lukas Wirth <lukastw97@gmail.com> | 2023-01-23 13:10:25 +0100 |
|---|---|---|
| committer | Lukas Wirth <lukastw97@gmail.com> | 2023-01-23 13:24:42 +0100 |
| commit | b9fe5afb30d00e14aaf5d02ff12a74efb774d4f1 (patch) | |
| tree | 88b5937a91eeaea0eb80c66aa881412bcf3f55cf /editors/code/src/ctx.ts | |
| parent | 84239a14543b5a22a9662bc926c9ae033067c977 (diff) | |
| download | rust-b9fe5afb30d00e14aaf5d02ff12a74efb774d4f1.tar.gz rust-b9fe5afb30d00e14aaf5d02ff12a74efb774d4f1.zip | |
Add a 'open server logs' button to the error notification
Diffstat (limited to 'editors/code/src/ctx.ts')
| -rw-r--r-- | editors/code/src/ctx.ts | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/editors/code/src/ctx.ts b/editors/code/src/ctx.ts index d6cee5c8fc6..1860924c6de 100644 --- a/editors/code/src/ctx.ts +++ b/editors/code/src/ctx.ts @@ -187,6 +187,11 @@ export class Ctx { this.setServerStatus(params) ) ); + this.pushClientCleanup( + this._client.onNotification(ra.openServerLogs, () => { + this.outputChannel!.show(); + }) + ); } return this._client; } |