/** * Sets whether to highlight enclosing peer characters or not. * * @param highlightEnclosingPeerCharcters whether to highlight enclosing peer characters or not * @since 3.8 */ public void setHighlightEnclosingPeerCharacters(boolean highlightEnclosingPeerCharcters) { fHighlightEnclosingPeerCharacters= highlightEnclosingPeerCharcters; installUninstallTextListener(highlightEnclosingPeerCharcters); }
/** * Sets whether to highlight enclosing peer characters or not. * * @param highlightEnclosingPeerCharcters whether to highlight enclosing peer characters or not * @since 3.8 */ public void setHighlightEnclosingPeerCharacters(boolean highlightEnclosingPeerCharcters) { fHighlightEnclosingPeerCharacters= highlightEnclosingPeerCharcters; installUninstallTextListener(highlightEnclosingPeerCharcters); }
@Override public void dispose() { if (fMatcher != null) { if (fMatcher instanceof ICharacterPairMatcherExtension && fTextListener != null) { installUninstallTextListener(false); } fMatcher.clear(); fMatcher= null; } fColor= null; fTextWidget= null; }
@Override public void dispose() { if (fMatcher != null) { if (fMatcher instanceof ICharacterPairMatcherExtension && fTextListener != null) { installUninstallTextListener(false); } fMatcher.clear(); fMatcher= null; } fColor= null; fTextWidget= null; }