Skip to content
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] TaskGroup misses support for id and isDefault #11519

Closed
Tracked by #11520
planger opened this issue Aug 3, 2022 · 0 comments · Fixed by #11944 · May be fixed by eclipsesource/theia#56
Closed
Tracked by #11520

[vscode] TaskGroup misses support for id and isDefault #11519

planger opened this issue Aug 3, 2022 · 0 comments · Fixed by #11944 · May be fixed by eclipsesource/theia#56
Assignees
@tsmaeder
Labels
tasks issues related to the task system vscode issues related to VSCode compatibility

Comments

@planger
Copy link
Contributor

planger commented Aug 3, 2022

See also https://code.visualstudio.com/api/references/vscode-api#TaskGroup
@planger planger mentioned this issue Aug 3, 2022
Closed
19 tasks
@paul-marechal paul-marechal added the vscode issues related to VSCode compatibility label Aug 3, 2022
@vince-fugnitto vince-fugnitto added the tasks issues related to the task system label Aug 3, 2022
@tsmaeder tsmaeder self-assigned this Nov 25, 2022
tsmaeder added a commit to tsmaeder/theia that referenced this issue Nov 29, 2022
@tsmaeder
Add support for TaskGroup.id and isDefault. Fixes eclipse-theia#11519
2cd14a0 
Adds support for id and isDefault and includes a small drive-by fix in
the Task implementation where the taskRunOptions object was not properly
initialized.

Contributed on behalf of ST Microelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
@tsmaeder tsmaeder mentioned this issue Nov 29, 2022
Open
1 task
tsmaeder added a commit to tsmaeder/theia that referenced this issue Dec 2, 2022
@tsmaeder
Add support for TaskGroup.id and isDefault. Fixes eclipse-theia#11519
12017ab 
Adds support for id and isDefault and includes a small drive-by fix in
the Task implementation where the taskRunOptions object was not properly
initialized.

Contributed on behalf of ST Microelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
@tsmaeder tsmaeder mentioned this issue Dec 2, 2022
Merged
1 task
tsmaeder added a commit that referenced this issue Dec 4, 2022
@tsmaeder
Add Support for TaskGroup.id and TaskGroup.isDefault (#11944)
a56dbfd 
* Add support for TaskGroup.id and isDefault. Fixes #11519

Adds support for id and isDefault and includes a small drive-by fix in
the Task implementation where the taskRunOptions object was not properly
initialized.

Contributed on behalf of ST Microelectronics

Signed-off-by: Thomas Mäder <t.s.maeder@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tsmaeder tsmaeder

Labels
tasks issues related to the task system vscode issues related to VSCode compatibility
Projects
None yet
Milestone
No milestone
4 participants
@planger @tsmaeder @paul-marechal @vince-fugnitto