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

[Brian Fitzpatrick (JIRA)]

[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.

-- 
This message is automatically generated by JIRA.
-
If you think it was sent incorrectly contact one of the administrators: https://jira.jboss.org/secure/Administrators.jspa
-
For more information on JIRA, see: http://www.atlassian.com/software/jira