commit 73fabc625d75cc0d9e53299dea18656b719a6d03
author sxenos <sxenos> Thu Jun 03 18:02:29 2004 +0000
committer sxenos <sxenos> Thu Jun 03 18:02:29 2004 +0000
tree 678563e77db66cc11304f33f4bafd12a1b562bea
parent de7ab0130e024a9355e95574b6f7ac01670d5610

Fix for bug 63258 (inspected by Debbie)

bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/PartStack.java

diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/PartStack.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/PartStack.java
index 2dd56a9..144fbcf 100644
--- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/PartStack.java
+++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/PartStack.java
@@ -465,6 +465,16 @@
         }
         
         refreshPresentationSelection();
+        
+        Rectangle bounds = presentation.getControl().getBounds();
+        int minimumHeight = getMinimumHeight();
+
+        if (presentationSite.getState() == IStackPresentationSite.STATE_MINIMIZED
+                && bounds.height != minimumHeight) {
+            bounds.width = getMinimumWidth();
+            bounds.height = minimumHeight;
+            getPresentation().setBounds(bounds);
+        }
     }
 
     /**