[
https://issues.jboss.org/browse/JBIDE-15771?page=com.atlassian.jira.plugi...
]
Andre Dietisheim updated JBIDE-15771:
-------------------------------------
Comment: was deleted
(was: pushed upstream to jbosstools-4.1.x, jbosstools-4.1.1.Beta1x and master.)
Duplicate and missing menu item for Markers
-------------------------------------------
Key: JBIDE-15771
URL:
https://issues.jboss.org/browse/JBIDE-15771
Project: Tools (JBoss Tools)
Issue Type: Bug
Components: openshift
Affects Versions: 4.1.1.Beta1
Reporter: Marián Labuda
Assignee: Andre Dietisheim
Fix For: 4.1.1.Beta1, 4.2.0.Alpha1
Attachments: duplicate.png
There are 2 menu items for "Configure Markers..." in Project explorer context
menu of the project and in the Package explorer is missing menu item for "Configure
Markers..." see attached image.
--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators
For more information on JIRA, see:
http://www.atlassian.com/software/jira