/** * @see org.eclipse.jface.text.ITextListener#textChanged(org.eclipse.jface.text.TextEvent) */ @Override public void textChanged(TextEvent event) { if (!fHighlightEnclosingPeerCharacters || !(fMatcher instanceof ICharacterPairMatcherExtension)) return; if (!event.getViewerRedrawState()) return; String text= event.getText(); String replacedText= event.getReplacedText(); ICharacterPairMatcherExtension matcher= (ICharacterPairMatcherExtension)fMatcher; if (searchForCharacters(text, matcher) || searchForCharacters(replacedText, matcher)) paint(IPainter.INTERNAL); }
/** * @see org.eclipse.jface.text.ITextListener#textChanged(org.eclipse.jface.text.TextEvent) */ @Override public void textChanged(TextEvent event) { if (!fHighlightEnclosingPeerCharacters || !(fMatcher instanceof ICharacterPairMatcherExtension)) return; if (!event.getViewerRedrawState()) return; String text= event.getText(); String replacedText= event.getReplacedText(); ICharacterPairMatcherExtension matcher= (ICharacterPairMatcherExtension)fMatcher; if (searchForCharacters(text, matcher) || searchForCharacters(replacedText, matcher)) paint(IPainter.INTERNAL); }
if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setHighlightCharacterAtCaretLocation(isCharacterAtCaretLocationShown()); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION); if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setHighlightEnclosingPeerCharacters(areEnclosingPeerCharactersShown()); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION); if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setColor(getColor(fMatchingCharacterPainterColorKey)); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION);
if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setHighlightCharacterAtCaretLocation(isCharacterAtCaretLocationShown()); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION); if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setHighlightEnclosingPeerCharacters(areEnclosingPeerCharactersShown()); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION); if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setColor(getColor(fMatchingCharacterPainterColorKey)); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION);
if (fMatchingCharacterPainter != null) { fMatchingCharacterPainter.setColor(getColor(fMatchingCharacterPainterColorKey)); fMatchingCharacterPainter.paint(IPainter.CONFIGURATION);