Author: dazarov
Date: 2007-10-19 03:24:33 -0400 (Fri, 19 Oct 2007)
New Revision: 4361
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/PropertyEditorDialog.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/PropertyEditorDialog.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/PropertyEditorDialog.java 2007-10-19
07:18:47 UTC (rev 4360)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/attribute/editor/PropertyEditorDialog.java 2007-10-19
07:24:33 UTC (rev 4361)
@@ -125,14 +125,4 @@
}
}
-
- public void create() {
- super.create();
- Point p = getShell().getSize();
- if(p.y > 400) {
- p.y = 400;
- getShell().setSize(p);
- }
- }
-
}