Index: Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java
===================================================================
RCS file: /home/eclipse/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java,v
retrieving revision 1.74
diff -u -r1.74 WorkbenchPage.java
--- Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java	29 Jul 2003 19:47:29 -0000	1.74
+++ Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java	28 Aug 2003 15:26:02 -0000
@@ -563,6 +563,8 @@
 		}
 
 		if (broughtToTop) {
+			// Need to make sure that the part lists are sorted correctly.
+			activationList.setActive(part);
 			firePartBroughtToTop(part);
 		}
 	} finally {