[jbosstools-issues] [JBoss JIRA] (JBIDE-10020) Hot key for VPE refresh
Denis Maliarevich (Commented) (JIRA)
jira-events at lists.jboss.org
Wed Nov 23 08:28:40 EST 2011
[ https://issues.jboss.org/browse/JBIDE-10020?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=12645111#comment-12645111 ]
Denis Maliarevich commented on JBIDE-10020:
-------------------------------------------
I've bind 2 key strokes to Refresh command.
Thus there are 2 <key> elements in "org.eclipse.ui.bindings" extention point.
> 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: Denis Maliarevich
> 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
More information about the jbosstools-issues
mailing list