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

[David Vrzalik (JIRA)]

     [ https://jira.jboss.org/browse/JBIDE-6629?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]

David Vrzalik closed JBIDE-6629.
--------------------------------



Closing.

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