[jbosstools-issues] [JBoss JIRA] (JBIDE-15771) Duplicate and missing menu item for Markers
Andre Dietisheim (JIRA)
jira-events at lists.jboss.org
Fri Oct 25 09:41:02 EDT 2013
[ https://issues.jboss.org/browse/JBIDE-15771?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
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
More information about the jbosstools-issues
mailing list