Example #1
0
  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);
  }
Example #2
0
 /**
  * Adds a custom highlight painter.
  *
  * @param highlight The highlight
  */
 public void addCustomHighlight(Highlight highlight) {
   highlight.init(textArea, highlights);
   highlights = highlight;
 }