/**
*
* <!-- begin-user-doc -->
* <!-- end-user-doc -->
*
* @generated
*/
public void dispose() {
ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceChangeListener);
getSite().getPage().removePartListener(partListener);
adapterFactory.dispose();
if (getActionBarContributor().getActiveEditor() == this) {
getActionBarContributor().setActiveEditor(null);
}
if (propertySheetPage != null) {
propertySheetPage.dispose();
}
if (contentOutlinePage != null) {
contentOutlinePage.dispose();
}
super.dispose();
}
/**
* Overwritten to unregister command stack listener.
*
* @see org.eclipse.ui.views.properties.PropertySheetPage#dispose()
*/
public void dispose() {
if (commandStack != null)
commandStack.removeCommandStackEventListener(commandStackEventListener);
super.dispose();
}
