Lines 13-20
Link Here
|
13 |
import org.eclipse.core.runtime.IStatus; |
13 |
import org.eclipse.core.runtime.IStatus; |
14 |
import org.eclipse.jface.resource.ImageDescriptor; |
14 |
import org.eclipse.jface.resource.ImageDescriptor; |
15 |
import org.eclipse.jface.window.WindowManager; |
15 |
import org.eclipse.jface.window.WindowManager; |
|
|
16 |
import org.eclipse.ui.IMemento; |
16 |
import org.eclipse.ui.IWorkbench; |
17 |
import org.eclipse.ui.IWorkbench; |
17 |
import org.eclipse.ui.IWorkbenchWindow; |
18 |
import org.eclipse.ui.IWorkbenchWindow; |
|
|
19 |
import org.eclipse.ui.WorkbenchException; |
18 |
|
20 |
|
19 |
/** |
21 |
/** |
20 |
* Interface providing special access for configuring the workbench. |
22 |
* Interface providing special access for configuring the workbench. |
Lines 75-80
Link Here
|
75 |
* <code>false</code> to forget current workbench state on close. |
77 |
* <code>false</code> to forget current workbench state on close. |
76 |
*/ |
78 |
*/ |
77 |
public void setSaveAndRestore(boolean enabled); |
79 |
public void setSaveAndRestore(boolean enabled); |
|
|
80 |
|
81 |
/** |
82 |
* Saves the current state of the specified workbench window |
83 |
* using the specified memento. |
84 |
* |
85 |
* @param window the window to be recorded |
86 |
* @param memento the storage area for object's state |
87 |
* @return a status object indicating whether the save was successful |
88 |
* @since 3.1 |
89 |
*/ |
90 |
public IStatus recordWorkbenchWindowState(IWorkbenchWindow window, IMemento memento); |
91 |
|
92 |
/** |
93 |
* Restores a workbench window with state using the specified memento. |
94 |
* |
95 |
* @param memento the storage area for object's state |
96 |
* @return the <code>IWorkbenchWindow</code> that is restored or null if there was an error. |
97 |
* @throws WorkbenchException |
98 |
* @since 3.1 |
99 |
*/ |
100 |
public IWorkbenchWindow restoreWorkbenchWindow(IMemento memento) |
101 |
throws WorkbenchException; |
78 |
|
102 |
|
79 |
/** |
103 |
/** |
80 |
* Returns the workbench window manager. |
104 |
* Returns the workbench window manager. |