org.gjt.sp.jedit.textarea.JEditTextArea.getFoldPainter()
org.gjt.sp.jedit.options.GutterOptionPane.addFoldStyleChooser()
org.gjt.sp.jedit.textarea.Gutter.setFoldPainter(FoldPainter)
org.gjt.sp.jedit.textarea.ShapedFoldPainter.paintFoldMiddle(Gutter,Graphics2D,int,int,int,int,JEditBuffer)
org.gjt.sp.jedit.textarea.Gutter.Gutter(TextArea)
org.gjt.sp.jedit.EditPane.propertiesChanged()
org.gjt.sp.jedit.options.GutterOptionPane._save()
org.gjt.sp.jedit.textarea.Gutter.paintLine(Graphics2D,int,int)
org.gjt.sp.jedit.options.GutterOptionPane._init()
org.gjt.sp.jedit.textarea.ShapedFoldPainter.paintFoldEnd(Gutter,Graphics2D,int,int,int,int,JEditBuffer)