Lines Matching refs:highlighter
608 * @return the highlighter
611 return highlighter;
615 * Sets the highlighter to be used. By default this will be set
617 * a custom highlighter if desired. The highlighter can be set to
619 * A PropertyChange event ("highlighter") is fired
620 * when a new highlighter is installed.
622 * @param h the highlighter
630 if (highlighter != null) {
631 highlighter.deinstall(this);
633 Highlighter old = highlighter;
634 highlighter = h;
635 if (highlighter != null) {
636 highlighter.install(this);
638 firePropertyChange("highlighter", old, h);
3830 private transient Highlighter highlighter;