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

[Problems] Allow deleting markers #2219

Closed
svenefftinge opened this issue Jun 28, 2018 · 4 comments
Closed

[Problems] Allow deleting markers #2219

svenefftinge opened this issue Jun 28, 2018 · 4 comments
Assignees
@jbicker
Labels
markers issues related to problem markers
Milestone
June 2018

Comments

@svenefftinge
Copy link
Contributor

The problems view should allow to delete individual, multiple markers using the context menu.
@jbicker
Copy link
Contributor

jbicker commented Jun 28, 2018

Another possibility would be a hover button as in search result tree.
@svenefftinge, what do you think?
deletetreenodes

@jbicker
Copy link
Contributor

jbicker commented Jun 28, 2018

Just thought about it again. That would only work for individual markers.

@kittaakos
Copy link
Contributor

Duplicates?

If so, please make sure to close them when closing this.

@kittaakos kittaakos added the markers issues related to problem markers label Jun 28, 2018
@svenefftinge
Copy link
Contributor Author

duplicate of #1352.

@svenefftinge svenefftinge mentioned this issue Jun 28, 2018
Closed
@svenefftinge svenefftinge added this to the June 2018 milestone Jun 28, 2018
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jbicker jbicker

Labels
markers issues related to problem markers
Projects
None yet
Milestone
June 2018
Development

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