/** Highlights the paragraph */ public void highlight() { // clear all _hlTypes.clear(); _visibleArea.setVisible(); highlightDefault(); }
/** Resets the highlighter so that we will re-determine it next time */ void resetHighlighter() { _hl = null; _visibleArea.setVisible(); _hlTypes.clear(); }