[richfaces-issues] [JBoss JIRA] Resolved: (RF-3853) HotKey: Impossible to add/remove hotkeys using JS functions under Opera and IE6-7.