/** * 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; }
@Override public void update() { setEnabled(getTextViewer() instanceof ITextViewerExtension2); synchronizeWithPreference(); }
@Override public void update() { setEnabled(getTextViewer() instanceof ITextViewerExtension2); synchronizeWithPreference(); }
public void update() { setEnabled(getTextViewer() instanceof ITextViewerExtension2); synchronizeWithPreference(); }
/** * 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; }
/** * Installs the painter on the editor. */ private void installPainter() { Assert.isTrue(fWhitespaceCharPainter == null); ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) { fWhitespaceCharPainter= new WhitespaceCharacterPainter(viewer); ((ITextViewerExtension2)viewer).addPainter(fWhitespaceCharPainter); } }
/** * Installs the painter on the editor. */ private void installPainter() { Assert.isTrue(fWhitespaceCharPainter == null); ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) { if (fStore != null) { fWhitespaceCharPainter= new WhitespaceCharacterPainter(viewer, fShowLeadingSpaces, fShowEnclosedSpaces, fShowTrailingSpaces, fShowLeadingIdeographicSpaces, fShowEnclosedIdeographicSpaces, fShowTrailingIdeographicSpace, fShowLeadingTabs, fShowEnclosedTabs, fShowTrailingTabs, fShowCarriageReturn, fShowLineFeed, fAlpha); } else { fWhitespaceCharPainter= new WhitespaceCharacterPainter(viewer); } ((ITextViewerExtension2)viewer).addPainter(fWhitespaceCharPainter); } }
/** * Installs the painter on the editor. */ private void installPainter() { Assert.isTrue(fWhitespaceCharPainter == null); ITextViewer viewer= getTextViewer(); if (viewer instanceof ITextViewerExtension2) { if (fStore != null) { fWhitespaceCharPainter= new WhitespaceCharacterPainter(viewer, fShowLeadingSpaces, fShowEnclosedSpaces, fShowTrailingSpaces, fShowLeadingIdeographicSpaces, fShowEnclosedIdeographicSpaces, fShowTrailingIdeographicSpace, fShowLeadingTabs, fShowEnclosedTabs, fShowTrailingTabs, fShowCarriageReturn, fShowLineFeed, fAlpha); } else { fWhitespaceCharPainter= new WhitespaceCharacterPainter(viewer); } ((ITextViewerExtension2)viewer).addPainter(fWhitespaceCharPainter); } }