[jbosstools-issues] [JBoss JIRA] (JBIDE-10020) Hot key for VPE refresh

[Vitali Yemialyanchyk (Created) (JIRA)]

Hot key for VPE refresh
-----------------------

                 Key: JBIDE-10020
                 URL: https://issues.jboss.org/browse/JBIDE-10020
             Project: Tools (JBoss Tools)
          Issue Type: Feature Request
          Components: Visual Page Editor core
    Affects Versions: 3.3.0.M4
            Reporter: Vitali Yemialyanchyk
            Assignee: Yahor Radtsevich


I can propose several variants... I'd like: F5, Ctrl+F5, and/or Ctrl+R

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