[jbosstools-issues] [JBoss JIRA] Updated: (JBIDE-6629) [Designer] Layout issues with Designer Editor preference page
Barry LaFond (JIRA)
jira-events at lists.jboss.org
Mon Oct 4 10:36:41 EDT 2010
[ https://jira.jboss.org/browse/JBIDE-6629?page=com.atlassian.jira.plugin.system.issuetabpanels:all-tabpanel ]
Barry LaFond updated JBIDE-6629:
--------------------------------
Fix Version/s: 3.2.0.M2
(was: 3.2.x)
> [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.0.M2
>
>
> 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
More information about the jbosstools-issues
mailing list