@Override public void showAnnotationsOverview(boolean show) { boolean old= fIsOverviewRulerVisible; fIsOverviewRulerVisible= (show && fOverviewRuler != null); if (old != fIsOverviewRulerVisible) { if (fComposite != null && !fComposite.isDisposed()) fComposite.layout(); if (fIsOverviewRulerVisible) { ensureOverviewHoverManagerInstalled(); } else if (fOverviewRulerHoveringController != null) { fOverviewRulerHoveringController.dispose(); fOverviewRulerHoveringController= null; } } }
@Override public void showAnnotationsOverview(boolean show) { boolean old= fIsOverviewRulerVisible; fIsOverviewRulerVisible= (show && fOverviewRuler != null); if (old != fIsOverviewRulerVisible) { if (fComposite != null && !fComposite.isDisposed()) fComposite.layout(); if (fIsOverviewRulerVisible) { ensureOverviewHoverManagerInstalled(); } else if (fOverviewRulerHoveringController != null) { fOverviewRulerHoveringController.dispose(); fOverviewRulerHoveringController= null; } } }
@Override public void dispose() { if (fTextViewer != null) { fTextViewer.removeViewportListener(fViewportListener); fViewportListener= null; StyledText st= fTextViewer.getTextWidget(); if (st != null && !st.isDisposed()) st.removeMouseMoveListener(fMouseMoveListener); fMouseMoveListener= null; } super.dispose(); } }
@Override public void dispose() { if (fTextViewer != null) { fTextViewer.removeViewportListener(fViewportListener); fViewportListener= null; StyledText st= fTextViewer.getTextWidget(); if (st != null && !st.isDisposed()) st.removeMouseMoveListener(fMouseMoveListener); fMouseMoveListener= null; } super.dispose(); } }
fOverviewRulerHoveringController.dispose(); fOverviewRulerHoveringController= null;
fOverviewRulerHoveringController.dispose(); fOverviewRulerHoveringController= null;