@Override public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { if (oldInput != null) { for (Iterator<IPainter> e= fPainters.iterator(); e.hasNext();) e.next().deactivate(false); fManager.uninstall(oldInput); removeListeners(); } }
@Override public void inputDocumentAboutToBeChanged(IDocument oldInput, IDocument newInput) { if (oldInput != null) { for (IPainter iPainter : fPainters) iPainter.deactivate(false); fManager.uninstall(oldInput); removeListeners(); } }
/** * Removes the given painter from the list of painters managed by this * paint manager. If the painter has not previously been added to this * paint manager, this method is without effect. * * @param painter the painter to be removed */ public void removePainter(IPainter painter) { if (fPainters.remove(painter)) { painter.deactivate(true); painter.setPositionManager(null); } if (fPainters.size() == 0) dispose(); }
/** * Removes the given painter from the list of painters managed by this * paint manager. If the painter has not previously been added to this * paint manager, this method is without effect. * * @param painter the painter to be removed */ public void removePainter(IPainter painter) { if (fPainters.remove(painter)) { painter.deactivate(true); painter.setPositionManager(null); } if (fPainters.size() == 0) dispose(); }
/** * Remove the painter from the current editor. */ private void uninstallPainter() { if (fWhitespaceCharPainter == null) return; ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) ((ITextViewerExtension2)viewer).removePainter(fWhitespaceCharPainter); fWhitespaceCharPainter.deactivate(true); fWhitespaceCharPainter= null; }
/** * Remove the painter from the current editor. */ private void uninstallPainter() { if (fWhitespaceCharPainter == null) return; ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) ((ITextViewerExtension2)viewer).removePainter(fWhitespaceCharPainter); fWhitespaceCharPainter.deactivate(true); fWhitespaceCharPainter= null; }
/** * Remove the painter from the current editor. */ private void uninstallPainter() { if (fWhitespaceCharPainter == null) return; ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) ((ITextViewerExtension2)viewer).removePainter(fWhitespaceCharPainter); fWhitespaceCharPainter.deactivate(true); fWhitespaceCharPainter= null; }
/** * Remove the painter from the viewer. */ private void uninstallPainter() { if (whitespaceCharPainter == null) return; ITextViewer v = getTextViewer(); if (v instanceof ITextViewerExtension2) ((ITextViewerExtension2) v) .removePainter(whitespaceCharPainter); whitespaceCharPainter.deactivate(true); whitespaceCharPainter = null; } };