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.

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

[tasks] add registered 'ProblemMatchers' to the 'tasks.json' schema #6134

Closed
vince-fugnitto opened this issue Sep 6, 2019 · 0 comments · Fixed by #6422
Closed

[tasks] add registered 'ProblemMatchers' to the 'tasks.json' schema #6134

vince-fugnitto opened this issue Sep 6, 2019 · 0 comments · Fixed by #6422
Assignees
Labels
enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system

Comments

@vince-fugnitto
Copy link
Member

Description

Follow-up of #5877

As a user, I'd like the registered ProblemMatchers to be present in the tasks.json schema so I can benefit from auto-completion and assistance when editing the file manually.

Screen Shot 2019-09-06 at 5 52 27 PM
@vince-fugnitto vince-fugnitto added enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system labels Sep 6, 2019
@vince-fugnitto vince-fugnitto changed the title [tasks] added registered 'ProblemMatchers' to the 'tasks.json' schema [tasks] add registered 'ProblemMatchers' to the 'tasks.json' schema Sep 7, 2019
elaihau pushed a commit that referenced this issue Oct 21, 2019
- With this pull request, task schemas are updated on problem matchers
being added / disposed, and users are benefited from having content assist while specifying the name(s) of problem matcher(s) in tasks.json.
- resolves #6134

Signed-off-by: Liang Huang <liang.huang@ericsson.com>
@elaihau elaihau self-assigned this Oct 21, 2019
elaihau pushed a commit that referenced this issue Oct 22, 2019
- With this pull request, task schemas are updated on problem matchers
being added / disposed, and users are benefited from having content assist while specifying the name(s) of problem matcher(s) in tasks.json.
- resolves #6134

Signed-off-by: Liang Huang <liang.huang@ericsson.com>
elaihau pushed a commit that referenced this issue Oct 22, 2019
- With this pull request, task schemas are updated on problem matchers
being added / disposed, and users are benefited from having content assist while specifying the name(s) of problem matcher(s) in tasks.json.
- resolves #6134

Signed-off-by: Liang Huang <liang.huang@ericsson.com>
elaihau pushed a commit that referenced this issue Oct 23, 2019
- With this pull request, task schemas are updated on problem matchers
being added / disposed, and users are benefited from having content assist while specifying the name(s) of problem matcher(s) in tasks.json.
- resolves #6134

Signed-off-by: Liang Huang <liang.huang@ericsson.com>
akosyakov pushed a commit to akosyakov/theia that referenced this issue Feb 24, 2020
- With this pull request, task schemas are updated on problem matchers
being added / disposed, and users are benefited from having content assist while specifying the name(s) of problem matcher(s) in tasks.json.
- resolves eclipse-theia#6134

Signed-off-by: Liang Huang <liang.huang@ericsson.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement issues that are enhancements to current functionality - nice to haves tasks issues related to the task system
Projects
None yet
Development

Successfully merging a pull request may close this issue.

2 participants