Author: dazarov
Date: 2007-10-18 09:09:20 -0400 (Thu, 18 Oct 2007)
New Revision: 4336
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/TabbedJavaChoicerFieldEditor.java
Log:
http://jira.jboss.com/jira/browse/JBIDE-727
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/TabbedJavaChoicerFieldEditor.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/TabbedJavaChoicerFieldEditor.java 2007-10-18
12:51:34 UTC (rev 4335)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/TabbedJavaChoicerFieldEditor.java 2007-10-18
13:09:20 UTC (rev 4336)
@@ -29,6 +29,7 @@
public class TabbedJavaChoicerFieldEditor extends ExtendedFieldEditor implements
IPropertyFieldEditor {
private static final String LAST_CHOICER =
"TabbedJavaChoicerFieldEditor.LastChoicer";
+ private static final int WINDOW_HEIGHT = 400;
protected IPropertyEditor propertyEditor;
protected TabFolder tabbedPane;
@@ -82,10 +83,12 @@
layout.marginHeight = 0;
layout.marginWidth = 0;
gd = new GridData(GridData.FILL_BOTH);
+ gd.heightHint = WINDOW_HEIGHT;
composite.setLayoutData(gd);
tabbedPane = new TabFolder(composite, SWT.NONE);
gd = new GridData(GridData.FILL_BOTH);
+ gd.heightHint = WINDOW_HEIGHT;
tabbedPane.setLayoutData(gd);
// classic
TabItem classicChooser = new TabItem(tabbedPane, SWT.NONE);