org.gjt.sp.jedit.textarea.DisplayManager.foldHandlerChanged()
org.gjt.sp.jedit.buffer.FoldHandler.getFoldModes()
org.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider.addFoldHandler(FoldHandler)
org.gjt.sp.jedit.buffer.JEditBuffer.propertiesChanged()
org.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider.getFoldModes()
org.gjt.sp.jedit.textarea.TextArea.collapseFold()
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)