[jbosstools-issues] [JBoss JIRA] (JBIDE-10020) Hot keys for VPE Refresh command

[ https://issues.jboss.org/browse/JBIDE-10020?page=com.atlassian.jira.plugi... ] Isaac Rooskov updated JBIDE-10020: ---------------------------------- Release Notes Text: An enhancement has been made to the Visual Page Editor that allows a user to press F5 and Ctrl+R (Command+R on Macintosh) to update the editors visual view with the latest user edits from the source view. (was: An enhancement has been made to the Visual Page Editor that allows a user to press F5 and Ctrl+R (Command+R on Macintosh) to update the editors visual view. ) -- 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