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

Generic Marker Widget #221

Closed
svenefftinge opened this issue Jun 15, 2017 · 3 comments
Closed

Generic Marker Widget #221

svenefftinge opened this issue Jun 15, 2017 · 3 comments
Assignees
@jbicker
Labels
enhancement issues that are enhancements to current functionality - nice to haves
Milestone
Theia BETA

Comments

@svenefftinge
Copy link
Contributor

svenefftinge commented Jun 15, 2017 •
edited
Loading

A generic widget shall be provided for extension authors to build widgets that display markers of a certain kind. A context menu shall allow to register actions on selected items.
This list view shall form the foundation for the Problems View (#26) and the Bookmarks View(#222).
@svenefftinge svenefftinge added the enhancement issues that are enhancements to current functionality - nice to haves label Jun 15, 2017
@svenefftinge svenefftinge added this to the Theia 1.0 BETA milestone Jun 15, 2017
@svenefftinge svenefftinge mentioned this issue Jun 15, 2017
Closed
@svenefftinge svenefftinge changed the title Generic List Widget Generic Marker Widget Sep 5, 2017
@svenefftinge
Copy link
Contributor Author

It was done with with #455

@hexa00
Copy link

hexa00 commented Sep 21, 2017

In the original post there there is mention of a context menu to register actions is that present?

@svenefftinge
Copy link
Contributor Author

It needs to be configured per concrete marker widget. E.g. for the ProblemsView a context menu with the prefix 'marker-context-menu' is registered. I will reword it to 'problems' (incl. the variables).

@svenefftinge svenefftinge reopened this Sep 22, 2017
@svenefftinge svenefftinge mentioned this issue Sep 22, 2017
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jbicker jbicker

Labels
enhancement issues that are enhancements to current functionality - nice to haves
Projects
None yet
Milestone
Theia BETA
Development

No branches or pull requests
3 participants
@svenefftinge @hexa00 @jbicker