Author: vyemialyanchyk
Date: 2008-08-25 12:14:29 -0400 (Mon, 25 Aug 2008)
New Revision: 9882
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/forms/ExpandableForm.java
Log:
JBIDE-2607
Modified:
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/forms/ExpandableForm.java
===================================================================
---
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/forms/ExpandableForm.java 2008-08-25
12:41:26 UTC (rev 9881)
+++
trunk/common/plugins/org.jboss.tools.common.model.ui/src/org/jboss/tools/common/model/ui/forms/ExpandableForm.java 2008-08-25
16:14:29 UTC (rev 9882)
@@ -70,7 +70,10 @@
toolkit = new FormToolkit(parent.getDisplay());
}
- section = toolkit.createSection(parent,
ExpandableComposite.TWISTIE|ExpandableComposite.EXPANDED|ExpandableComposite.TITLE_BAR);
+ // commented by vitali:
+ //section = toolkit.createSection(parent,
ExpandableComposite.TWISTIE|ExpandableComposite.EXPANDED|ExpandableComposite.TITLE_BAR);
+ // ExpandableComposite.TITLE_BAR option results for the tree flicking in
"Hibernate Configuration 3.0 XML Editor"
+ section = toolkit.createSection(parent,
ExpandableComposite.TWISTIE|ExpandableComposite.EXPANDED|ExpandableComposite.SHORT_TITLE_BAR);
section.setText("" + getHeadingText());
section.setLayoutData(new GridData(GridData.FILL_HORIZONTAL | /*GridData.FILL_VERTICAL
|*/ GridData.VERTICAL_ALIGN_BEGINNING));
toolkit.adapt(section);