/** * Returns the tool tip to display at the specified location. * @param evt The mouse event */ public String getToolTipText(MouseEvent evt) { if(highlights != null) return highlights.getToolTipText(evt); else return null; }
/** * Adds a custom highlight painter. * @param highlight The highlight */ public void addCustomHighlight(Highlight highlight) { highlight.init(textArea,highlights); highlights = highlight; }
protected void paintHighlight(Graphics gfx, int line, int y) { if(line >= textArea.getSelectionStartLine() && line <= textArea.getSelectionEndLine()) paintLineHighlight(gfx,line,y); if(highlights != null) highlights.paintHighlight(gfx,line,y); if(bracketHighlight && line == textArea.getBracketLine()) paintBracketHighlight(gfx,line,y); if(line == textArea.getCaretLine()) paintCaret(gfx,line,y); }