Attachment 7539 Details for Bug 13585 – Fixes window dragging, and adds maximizing, and minimizing

[patch] Fixes window dragging, and adds maximizing, and minimizing

13585_patch_DetachedWindow.txt (text/plain), 2.02 KB, created by Stefan Xenos

on 2004-01-22 23:18:03 EST

(hide)

Description:

Filename:

MIME Type:

Creator: Stefan Xenos

Created: 2004-01-22 23:18:03 EST

Size: 2.02 KB

patch

obsolete

>Index: DetachedWindow.java
>===================================================================
>retrieving revision 1.6.12.7
>diff -u -r1.6.12.7 DetachedWindow.java
>--- DetachedWindow.java	21 Jan 2004 19:46:01 -0000	1.6.12.7
>+++ DetachedWindow.java	23 Jan 2004 04:06:56 -0000
>@@ -11,11 +11,12 @@
> 
> package org.eclipse.ui.internal;
> 
>+import java.util.ArrayList;
> import java.util.Enumeration;
>+import java.util.Iterator;
> import java.util.List;
> import java.util.Vector;
> 
>-import org.eclipse.jface.window.Window;
> import org.eclipse.swt.SWT;
> import org.eclipse.swt.custom.CTabFolder2;
> import org.eclipse.swt.graphics.Rectangle;
>@@ -24,6 +25,9 @@
> import org.eclipse.swt.widgets.Event;
> import org.eclipse.swt.widgets.Listener;
> import org.eclipse.swt.widgets.Shell;
>+
>+import org.eclipse.jface.window.Window;
>+
> import org.eclipse.ui.IMemento;
> import org.eclipse.ui.IWorkbenchPage;
> import org.eclipse.ui.help.WorkbenchHelp;
>@@ -41,8 +45,7 @@
> 	 */
> 	public DetachedWindow(WorkbenchPage workbenchPage) {
> 		super(workbenchPage.getWorkbenchWindow().getShell());
>-		setShellStyle(/* SWT.CLOSE | SWT.MIN | SWT.MAX | */
>-		SWT.RESIZE);
>+		setShellStyle( SWT.CLOSE | SWT.MIN | SWT.MAX | SWT.RESIZE );
> 		this.page = workbenchPage;
> 		folder = new PartTabFolder();
> 	}
>@@ -138,15 +141,16 @@
> 	 * Close has been pressed.  Close all views.
> 	 */
> 	protected void handleShellCloseEvent() {
>-		//	List views = new ArrayList();
>-		//	collectViewPanes(views, getChildren());
>-		//	Iterator enum = views.iterator();
>-		//	while (enum.hasNext()) {
>-		//		ViewPane child = (ViewPane)enum.next();
>-		//		page.hideView(child.getViewPart());
>-		//	}
>-		//	close();
>+		List views = new ArrayList();
>+		collectViewPanes(views, getChildren());
>+		Iterator enum = views.iterator();
>+		while (enum.hasNext()) {
>+			ViewPane child = (ViewPane)enum.next();
>+			page.hideView(child.getViewReference());
>+		}
>+		close();
> 	}
>+	
> 	protected void initializeBounds() {
> 		if (bounds != null)
> 			getShell().setBounds(bounds);

Actions: View | Diff

Attachments on bug 13585: 6703 | 6705 | 7539 | 7556