[jbosstools-issues] [JBoss JIRA] (JBIDE-10020) Hot keys for VPE refresh command
[
https://issues.jboss.org/browse/JBIDE-10020?page=com.atlassian.jira.plugi...
]
Denis Golovin updated JBIDE-10020:
----------------------------------
Summary: Hot keys for VPE refresh command (was: Hot key for VPE refresh)
Hot keys for VPE refresh command
--------------------------------
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: Denis Maliarevich
Labels: new_and_noteworthy
Fix For: 3.3.0.M5
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