@Override public void widgetDisposed(DisposeEvent e) { handleInformationControlDisposed(); } });
/** * Disposes this manager's information control. */ public void disposeInformationControl() { if (fInformationControl != null) { fInformationControl.dispose(); handleInformationControlDisposed(); } }
@Override protected void handleInformationControlDisposed() { try { super.handleInformationControlDisposed(); } finally { if (fTextViewer instanceof IWidgetTokenOwner) { IWidgetTokenOwner owner= (IWidgetTokenOwner) fTextViewer; owner.releaseWidgetToken(this); } } }
@Override protected void handleInformationControlDisposed() { try { super.handleInformationControlDisposed(); } finally { if (fTextViewer instanceof IWidgetTokenOwner) { IWidgetTokenOwner owner= (IWidgetTokenOwner) fTextViewer; owner.releaseWidgetToken(this); } } }
/** * Disposes this manager's information control. */ public void disposeInformationControl() { if (fInformationControl != null) { fInformationControl.dispose(); handleInformationControlDisposed(); } }
fInformationControl.addDisposeListener(e -> handleInformationControlDisposed());