Java Code Examples for org.eclipse.ui.part.IPage#dispose()

The following examples show how to use org.eclipse.ui.part.IPage#dispose() . You can vote up the ones you like or vote down the ones you don't like, and go to the original project or source file by following the links above each example. You may check out the related API usage on the sidebar.
Example 1
Source File: LibraryExplorerView.java    From birt with Eclipse Public License 1.0 5 votes vote down vote up 
/**
 * Destroys a page in the pagebook for a particular part. This page was
 * returned as a result from <code>doCreatePage</code>.
 * 
 * @param part
 *            the input part
 * @param pageRecord
 *            a page record for the part
 * @see #doCreatePage
 */
protected void doDestroyPage( IWorkbenchPart part, PageRec pageRecord )
{
	if ( treeViewPage != null && prefs != null )
	{
		prefs.removePreferenceChangeListener( treeViewPage );
	}
	
	this.resourceFolder = null;

	IPage page = pageRecord.page;
	page.dispose( );
	pageRecord.dispose( );
}
Example 2
Source File: DataView.java    From birt with Eclipse Public License 1.0 3 votes vote down vote up 
/**
 * Destroys a page in the pagebook for a particular part. This page was
 * returned as a result from <code>doCreatePage</code>.
 * 
 * @param part
 *            the input part
 * @param pageRecord
 *            a page record for the part
 * @see #doCreatePage
 */
protected void doDestroyPage( IWorkbenchPart part, PageRec pageRecord )
{
	IPage page = pageRecord.page;
	page.dispose( );
	pageRecord.dispose( );
}
Example 3
Source File: AttributeView.java    From birt with Eclipse Public License 1.0 3 votes vote down vote up 
/**
 * Destroys a page in the pagebook for a particular part. This page was
 * returned as a result from <code>doCreatePage</code>.
 * 
 * @param part
 *            the input part
 * @param pageRecord
 *            a page record for the part
 * @see #doCreatePage
 */
protected void doDestroyPage( IWorkbenchPart part, PageRec pageRecord )
{
	IPage page = pageRecord.page;
	page.dispose( );
	pageRecord.dispose( );
}