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