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();
  }
Esempio n. 2
0
  @Override
  public void dispose() {
    final IEclipseContext parentContext =
        (IEclipseContext) getEditorSite().getService(IEclipseContext.class);
    final IEclipseContext context = parentContext.getActiveLeaf();
    for (final IEditorPart part : parts) {
      ContextInjectionFactory.uninject(part, context);
    }

    if (resourceListener != null) {
      ResourcesPlugin.getWorkspace().removeResourceChangeListener(resourceListener);
    }
    super.dispose();

    SwtThread.asyncExec(
        new Runnable() {
          @Override
          public void run() {
            final IDecoratorManager manager = PlatformUI.getWorkbench().getDecoratorManager();
            manager.update(RobotValidationExcludedDecorator.ID);
          }
        });
  }
 /**
  * The <code>MultiPageEditorPart</code> implementation of this <code>IWorkbenchPart</code> method
  * disposes all nested editors. Subclasses may extend.
  */
 public void dispose() {
   ResourcesPlugin.getWorkspace().removeResourceChangeListener(this);
   getInfoglueEditorInput().getContent().getConnection().removeNotificationListener(this);
   super.dispose();
 }
 /**
  * The <code>MultiPageEditorPart</code> implementation of this <code>IWorkbenchPart</code> method
  * disposes all nested editors. Subclasses may extend.
  */
 public void dispose() {
   ResourcesPlugin.getWorkspace().removeResourceChangeListener(this);
   super.dispose();
 }
Esempio n. 5
0
 public void dispose() {
   if (dataEditor != null) removePageChangedListener(dataEditor);
   dataEditor = null;
   super.dispose();
 }