/** * Disposes of the painter's resources. */ private void handleDispose() { updateFocusLine(-1); if (fLineDiffer != null) { ((IAnnotationModel) fLineDiffer).removeAnnotationModelListener(fAnnotationListener); fLineDiffer= null; } fRevisionSelectionProvider.uninstall(); }
/** * Disposes of the painter's resources. */ private void handleDispose() { updateFocusLine(-1); if (fLineDiffer != null) { ((IAnnotationModel) fLineDiffer).removeAnnotationModelListener(fAnnotationListener); fLineDiffer= null; } fRevisionSelectionProvider.uninstall(); }
/** * Installs the selection provider on the viewer. * * @param viewer the viewer on which we listen to for post selection events */ void install(ITextViewer viewer) { uninstall(); fViewer= viewer; if (fViewer != null) { ISelectionProvider provider= fViewer.getSelectionProvider(); if (provider instanceof IPostSelectionProvider) { IPostSelectionProvider postProvider= (IPostSelectionProvider) provider; fSelectionListener= new PostSelectionListener(postProvider); } } }
/** * Installs the selection provider on the viewer. * * @param viewer the viewer on which we listen to for post selection events */ void install(ITextViewer viewer) { uninstall(); fViewer= viewer; if (fViewer != null) { ISelectionProvider provider= fViewer.getSelectionProvider(); if (provider instanceof IPostSelectionProvider) { IPostSelectionProvider postProvider= (IPostSelectionProvider) provider; fSelectionListener= new PostSelectionListener(postProvider); } } }