[jbosstools-issues] [JBoss JIRA] (JBIDE-11876) Delete archive file using "Del" key

[Jaroslav Jankovič (JIRA)]

Jaroslav Jankovič created JBIDE-11876:
-----------------------------------------

             Summary: Delete archive file using "Del" key
                 Key: JBIDE-11876
                 URL: https://issues.jboss.org/browse/JBIDE-11876
             Project: Tools (JBoss Tools)
          Issue Type: Feature Request
            Reporter: Jaroslav Jankovič


It would be useful, if archive file could be deleted using only Del key. This involves deleting in Project Archives view and under Project Archives explorer in Project Explorer as well.

--
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators: https://issues.jboss.org/secure/ContactAdministrators!default.jspa
For more information on JIRA, see: http://www.atlassian.com/software/jira