@Override
public void dispose() {
getSelectionSynchronizer().removeViewer(getViewer());
// if(getGraphicalViewer().getControl() != null &&
// !getGraphicalViewer().getControl().isDisposed())
// getGraphicalViewer().getControl().removeDisposeListener(disposeListener);
super.dispose();
}
/*
* (non-Javadoc)
*
* @see org.eclipse.ui.part.Page#dispose()
*/
@Override
public void dispose() {
unhookOutlineViewer();
if (thumbnail != null) thumbnail = null;
super.dispose();
}