[jbosstools-issues] [JBoss JIRA] Created: (JBIDE-9539) Add possibility to change the size of embedded Eclipse browser