Esempio n. 1
0
  /**
   *
   * <!-- 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();
 }