Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.
View | Details | Raw Unified | Return to bug 13585 | Differences between
and this patch

Collapse All | Expand All

(-)DetachedWindow.java (-11 / +15 lines)
Lines 11-21 Link Here
11
11
12
package org.eclipse.ui.internal;
12
package org.eclipse.ui.internal;
13
13
14
import java.util.ArrayList;
14
import java.util.Enumeration;
15
import java.util.Enumeration;
16
import java.util.Iterator;
15
import java.util.List;
17
import java.util.List;
16
import java.util.Vector;
18
import java.util.Vector;
17
19
18
import org.eclipse.jface.window.Window;
19
import org.eclipse.swt.SWT;
20
import org.eclipse.swt.SWT;
20
import org.eclipse.swt.custom.CTabFolder2;
21
import org.eclipse.swt.custom.CTabFolder2;
21
import org.eclipse.swt.graphics.Rectangle;
22
import org.eclipse.swt.graphics.Rectangle;
Lines 24-29 Link Here
24
import org.eclipse.swt.widgets.Event;
25
import org.eclipse.swt.widgets.Event;
25
import org.eclipse.swt.widgets.Listener;
26
import org.eclipse.swt.widgets.Listener;
26
import org.eclipse.swt.widgets.Shell;
27
import org.eclipse.swt.widgets.Shell;
28
29
import org.eclipse.jface.window.Window;
30
27
import org.eclipse.ui.IMemento;
31
import org.eclipse.ui.IMemento;
28
import org.eclipse.ui.IWorkbenchPage;
32
import org.eclipse.ui.IWorkbenchPage;
29
import org.eclipse.ui.help.WorkbenchHelp;
33
import org.eclipse.ui.help.WorkbenchHelp;
Lines 41-48 Link Here
41
	 */
45
	 */
42
	public DetachedWindow(WorkbenchPage workbenchPage) {
46
	public DetachedWindow(WorkbenchPage workbenchPage) {
43
		super(workbenchPage.getWorkbenchWindow().getShell());
47
		super(workbenchPage.getWorkbenchWindow().getShell());
44
		setShellStyle(/* SWT.CLOSE | SWT.MIN | SWT.MAX | */
48
		setShellStyle( SWT.CLOSE | SWT.MIN | SWT.MAX | SWT.RESIZE );
45
		SWT.RESIZE);
46
		this.page = workbenchPage;
49
		this.page = workbenchPage;
47
		folder = new PartTabFolder();
50
		folder = new PartTabFolder();
48
	}
51
	}
Lines 138-152 Link Here
138
	 * Close has been pressed.  Close all views.
141
	 * Close has been pressed.  Close all views.
139
	 */
142
	 */
140
	protected void handleShellCloseEvent() {
143
	protected void handleShellCloseEvent() {
141
		//	List views = new ArrayList();
144
		List views = new ArrayList();
142
		//	collectViewPanes(views, getChildren());
145
		collectViewPanes(views, getChildren());
143
		//	Iterator enum = views.iterator();
146
		Iterator enum = views.iterator();
144
		//	while (enum.hasNext()) {
147
		while (enum.hasNext()) {
145
		//		ViewPane child = (ViewPane)enum.next();
148
			ViewPane child = (ViewPane)enum.next();
146
		//		page.hideView(child.getViewPart());
149
			page.hideView(child.getViewReference());
147
		//	}
150
		}
148
		//	close();
151
		close();
149
	}
152
	}
153
	
150
	protected void initializeBounds() {
154
	protected void initializeBounds() {
151
		if (bounds != null)
155
		if (bounds != null)
152
			getShell().setBounds(bounds);
156
			getShell().setBounds(bounds);

Return to bug 13585