/** * Paints any line highlights. * * @param g The graphics context. */ protected void paintLineHighlights(Graphics g) { LineHighlightManager lhm = textArea.getLineHighlightManager(); if (lhm!=null) { lhm.paintLineHighlights(g); } }
/** * Paints any line highlights. * * @param g The graphics context. */ protected void paintLineHighlights(Graphics g) { LineHighlightManager lhm = textArea.getLineHighlightManager(); if (lhm!=null) { lhm.paintLineHighlights(g); } }
/** * Paints any line highlights. * * @param g The graphics context. */ protected void paintLineHighlights(Graphics g) { LineHighlightManager lhm = textArea.getLineHighlightManager(); if (lhm!=null) { lhm.paintLineHighlights(g); } }
/** * Paints any line highlights. * * @param g The graphics context. */ protected void paintLineHighlights(Graphics g) { LineHighlightManager lhm = textArea.getLineHighlightManager(); if (lhm!=null) { lhm.paintLineHighlights(g); } }