org.gjt.sp.jedit.textarea.Gutter.MouseHandler.mousePressed(MouseEvent)
org.gjt.sp.jedit.textarea.JEditTextArea.getSelectedText(Selection)
org.gjt.sp.jedit.textarea.JEditTextArea.collapseFold()
org.gjt.sp.jedit.textarea.JEditTextArea.collapseFold(int)