Uses of Class
org.gjt.sp.jedit.textarea.TextAreaException

Packages that use TextAreaException
org.gjt.sp.jedit.textarea Since jEdit 4.2, many TextArea classes have been split into a base and derived class. 
 

Uses of TextAreaException in org.gjt.sp.jedit.textarea
 

Methods in org.gjt.sp.jedit.textarea that throw TextAreaException
 void TextArea.addExplicitFold()
          Surrounds the selection with explicit fold markers.
 void TextArea.formatParagraph()
          Formats the paragraph containing the caret.