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

Theia: Show Progress Reports from jdt.ls #9971

Closed
tsmaeder opened this issue Jun 8, 2018 · 2 comments
Closed

Theia: Show Progress Reports from jdt.ls #9971

tsmaeder opened this issue Jun 8, 2018 · 2 comments
Labels
kind/enhancement A feature request - must adhere to the feature request template. lifecycle/stale Denotes an issue or PR has remained open with no activity and has become stale.

Comments

@tsmaeder
Copy link
Contributor

tsmaeder commented Jun 8, 2018

jdt.ls extends LSP with messages of type language/progressReport. We need to show those in the Theia UI. Part of the task is to coordinate with other teams on support for showing progress in general.

@tsmaeder tsmaeder mentioned this issue Jun 8, 2018
18 tasks
@tsmaeder tsmaeder added the kind/enhancement A feature request - must adhere to the feature request template. label Jun 8, 2018
@tsmaeder tsmaeder mentioned this issue Jun 18, 2018
26 tasks
@tsmaeder tsmaeder mentioned this issue Jul 5, 2018
17 tasks
@tsmaeder
Copy link
Contributor Author

tsmaeder commented Jul 5, 2018

Idea is to add general Progress contribution and implement that for Java server progress

@tsmaeder tsmaeder mentioned this issue Jul 30, 2018
12 tasks
@tsmaeder tsmaeder changed the title Show Progress Reports from jdt.ls Theia: Show Progress Reports from jdt.ls Sep 12, 2018
@che-bot
Copy link
Contributor

che-bot commented Sep 7, 2019

Issues go stale after 180 days of inactivity. lifecycle/stale issues rot after an additional 7 days of inactivity and eventually close.

Mark the issue as fresh with /remove-lifecycle stale in a new comment.

If this issue is safe to close now please do so.

Moderators: Add lifecycle/frozen label to avoid stale mode.

@che-bot che-bot added the lifecycle/stale Denotes an issue or PR has remained open with no activity and has become stale. label Sep 7, 2019
@che-bot che-bot closed this as completed Sep 17, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement A feature request - must adhere to the feature request template. lifecycle/stale Denotes an issue or PR has remained open with no activity and has become stale.
Projects
None yet
Development

No branches or pull requests

2 participants