[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-7966) Ctrl + Page Down issue with JBoss tools HTML editor

Ctrl + Page Down issue with JBoss tools HTML editor --------------------------------------------------- Key: JBIDE-7966 URL: https://issues.jboss.org/browse/JBIDE-7966 Project: Tools (JBoss Tools) Issue Type: Bug Components: Visual Page Editor core Affects Versions: 3.2.0.Beta2 Environment: Windows XP Reporter: Geoff Thieme Assignee: Denis Maliarevich Fix For: 3.2.0.CR1 Ctrl + Page Down and Ctrl + Page Up do not work properly in the JBoss tools HTML editor. It does work correctly in the JBoss tools XML editor. Ctrl + Page Down is switching between Visual/Source, Source, and Preview; it should be switching to the next Editor Window. This was was an issue with many Eclipse editors in the past, most of them have been fixed, but the JBoss tools HTML editor is still broken.