org.gjt.sp.jedit.EditPane.initPainter(TextAreaPainter)
org.gjt.sp.jedit.options.TextAreaOptionPane._init()
org.gjt.sp.jedit.options.TextAreaOptionPane._save()
org.gjt.sp.jedit.textarea.TextAreaPainter.isThickCaretEnabled()
org.gjt.sp.jedit.textarea.TextAreaPainter.setThickCaretEnabled(boolean)
org.gjt.sp.jedit.textarea.TextAreaPainter.PaintCaret.paintValidLine(Graphics2D,int,int,int,int,int)