[jbosstools-issues] [JBoss JIRA] (JBIDE-15771) Duplicate and missing menu item for Markers

[Marián Labuda (JIRA)]

Marián Labuda created JBIDE-15771:
-------------------------------------

             Summary: 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


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