protected void paintHighlight(Graphics gfx, int line, int y) { if (!printing) { if (line >= textArea.getSelectionStartLine() && line <= textArea.getSelectionStopLine()) 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); } }