New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[vscode] Support TaskPresentationOptions#close property #12611

Closed

Tracked by

rschnekenbu opened this issue Jun 12, 2023 · 1 comment · Fixed by #12749

Closed

Tracked by

[vscode] Support TaskPresentationOptions#close property #12611

rschnekenbu opened this issue Jun 12, 2023 · 1 comment · Fixed by #12749

Assignees

Labels

vscode

Contributor

rschnekenbu commented Jun 12, 2023

vscode 1.79 proposes a new option for Task Presentation Options, to close terminal on task completion.

rschnekenbu mentioned this issue

[vscode] API gap: Theia master vs. VS Code 1.79.0 #12613

Closed

7 tasks

vince-fugnitto added the vscode label

rschnekenbu mentioned this issue

[vscode] support TaskPresentationOptions close eclipsesource/theia#82

Closed

2 tasks

Contributor Author

rschnekenbu commented Jun 20, 2023

I have a PR under internal review, can this task be assigned to me? TIA!

msujew assigned rschnekenbu

rschnekenbu mentioned this issue

[vscode] support TaskPresentationOptions close #12749

Merged

2 tasks

tsmaeder closed this as completed in #12749

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment