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.