/** * Adds a custom highlight painter. * @param highlight The highlight */ public void addCustomHighlight(Highlight highlight) { highlight.init(textArea,highlights); highlights = highlight; }
/** * Adds a custom highlight painter. * @param highlight The highlight */ public void addCustomHighlight(Highlight highlight) { highlight.init(textArea,highlights); highlights = highlight; }