[jbosstools-issues] [JBoss JIRA] Resolved: (JBIDE-3053) Page Design Options dialog doesn't show fully under displays with dimension 1280x800