diff options
| author | bvosburgh | 2010-03-26 14:16:46 +0000 |
|---|---|---|
| committer | bvosburgh | 2010-03-26 14:16:46 +0000 |
| commit | ff6d0e48df2d2502b31c1e2964426433fd293b8e (patch) | |
| tree | ac52caeb8c2fb855aeafb5b9383773b3ea3551f5 | |
| parent | 915377fb31620cfdf038481e0bc0fad2da992f17 (diff) | |
| download | webtools.dali-ff6d0e48df2d2502b31c1e2964426433fd293b8e.tar.gz webtools.dali-ff6d0e48df2d2502b31c1e2964426433fd293b8e.tar.xz webtools.dali-ff6d0e48df2d2502b31c1e2964426433fd293b8e.zip | |
try to improve resizing behavior
| -rw-r--r-- | jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/preferences/JpaProblemSeveritiesPage.java | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/preferences/JpaProblemSeveritiesPage.java b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/preferences/JpaProblemSeveritiesPage.java index b0bd156e7f..cb59cb6134 100644 --- a/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/preferences/JpaProblemSeveritiesPage.java +++ b/jpa/plugins/org.eclipse.jpt.ui/src/org/eclipse/jpt/ui/internal/preferences/JpaProblemSeveritiesPage.java @@ -40,6 +40,7 @@ import org.eclipse.swt.SWT; import org.eclipse.swt.events.SelectionAdapter; import org.eclipse.swt.events.SelectionEvent; import org.eclipse.swt.events.SelectionListener; +import org.eclipse.swt.graphics.Point; import org.eclipse.swt.layout.GridData; import org.eclipse.swt.layout.GridLayout; import org.eclipse.swt.widgets.Combo; @@ -203,6 +204,11 @@ public class JpaProblemSeveritiesPage extends PropertyAndPreferencePage { return container; } + @Override + public Point computeSize() { + return this.doComputeSize(); + } + private void addProjectLevelCategory(Composite parent) { parent = addExpandableSection(parent, JptUiValidationPreferenceMessages.PROJECT_LEVEL_CATEGORY); |