[jbosstools-issues] [JBoss JIRA] (JBIDE-20979) Not able to resize the preferences window in JDBS 6

Not able to resize the preferences window in JDBS 6 --------------------------------------------------- Key: JBIDE-20979 URL: https://issues.jboss.org/browse/JBIDE-20979 Project: Tools (JBoss Tools) Issue Type: Bug Components: upstream Affects Versions: 4.2.0.Final Environment: Fedora 17, Fedora 19, jdbs 6.0.0.GA, build id: GA-v20121206-1855-B186, build date: 20121206-1855 Reporter: Sande Gilda Assignee: Snjezana Peco Fix For: 4.6.x Attachments: JDBS6-01.png, JDBS6-02.png, JDBS6-03.png, JDBS6-04.png To recreate: Start JDBS. Choose menu: Window --> Preferences Grab a side edge to drag it wider, but it snaps down to a narrow vertical bar. When I hover over the edges, I get the arrow resize icon, but I can't resize it. At this point, I have to kill the 2 processes: one jbdevstudio and one java (for jbds and the popup window.