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