[jbosstools-issues] [JBoss JIRA] Closed: (JBIDE-6629) [Designer] Layout issues with Designer Editor preference page

[Designer] Layout issues with Designer Editor preference page ------------------------------------------------------------- Key: JBIDE-6629 URL: https://jira.jboss.org/browse/JBIDE-6629 Project: Tools (JBoss Tools) Issue Type: Bug Components: teiid Affects Versions: 3.2.0.M1 Reporter: Brian Fitzpatrick Assignee: Barry LaFond Fix For: 3.2.x On the Designer->Editor preference page, I recommend increasing the distance between the group box borders and the tab edges. It looks really messy with the border lines being that close together. Same with the Table tab - controls should be indented a bit more to make it look more consistent with the other prefs pages.