@Override public void widgetDisposed(DisposeEvent e) { fDisposedControl= getControl(); handleDispose(); } }
@Override protected void handleDispose() { unconfigure(); disposeVisualAnnotationModel(); fVerticalRuler= null; fOverviewRuler= null; // http://dev.eclipse.org/bugs/show_bug.cgi?id=15300 fComposite= null; super.handleDispose(); }
@Override protected void handleDispose() { unconfigure(); disposeVisualAnnotationModel(); fVerticalRuler= null; fOverviewRuler= null; // http://dev.eclipse.org/bugs/show_bug.cgi?id=15300 fComposite= null; super.handleDispose(); }
@Override protected void handleDispose() { if (formatJob != null) { formatJob.cancel(); formatJob = null; } Activator.getDefault().getPreferenceStore() .removePropertyChangeListener(listener); if (refsChangedListener != null) refsChangedListener.remove(); refsChangedListener = null; super.handleDispose(); }
e -> { fDisposedControl= getControl(); handleDispose();