| commit | 04a40f6ab8be8348bb7b206360897ea70e42364a | [log] [tgz] |
|---|---|---|
| author | Michael Jastram <michael@jastram.de> | Fri Dec 12 12:14:48 2014 +0100 |
| committer | Michael Jastram <michael@jastram.de> | Mon Dec 15 15:40:24 2014 +0100 |
| tree | 87e234000646d8298286455a2a032e7c10eefcdd | |
| parent | 7a1cd856d71e1eb33b52345b0d3c4eb1d0d0acf4 [diff] |
Fixing layout issues.
diff --git a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/filter/ui/FilterControlEnum.java b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/filter/ui/FilterControlEnum.java index cb3a5df..378e716 100644 --- a/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/filter/ui/FilterControlEnum.java +++ b/org.eclipse.rmf.reqif10.search.ui/src/org/eclipse/rmf/reqif10/search/filter/ui/FilterControlEnum.java
@@ -109,6 +109,7 @@ if (i.hasNext()) sb.append(", "); } valueControl.setText(sb.toString()); + layout(); getParent().layout(); getParent().getParent().layout(); }