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

Packages that use TextAreaExtension

org.gjt.sp.jedit.textarea

Since jEdit 4.2, many TextArea classes have been split into a base and derived class.

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

Subclasses of TextAreaExtension in org.gjt.sp.jedit.textarea

static class

StructureMatcher.Highlight Paints the structure match highlight.

Methods in org.gjt.sp.jedit.textarea that return TextAreaExtension

TextAreaExtension[]	TextAreaPainter.getExtensions() Returns an array of registered text area extensions.
TextAreaExtension[]	Gutter.getExtensions() Returns an array of registered text area extensions.

Methods in org.gjt.sp.jedit.textarea with parameters of type TextAreaExtension

void	TextAreaPainter.addExtension(int layer, TextAreaExtension extension) Adds a text area extension, which can perform custom painting and tool tip handling.
void	Gutter.addExtension(int layer, TextAreaExtension extension) Adds a text area extension, which can perform custom painting and tool tip handling.
void	TextAreaPainter.addExtension(TextAreaExtension extension) Adds a text area extension, which can perform custom painting and tool tip handling.
void	Gutter.addExtension(TextAreaExtension extension) Adds a text area extension, which can perform custom painting and tool tip handling.
void	TextAreaPainter.removeExtension(TextAreaExtension extension) Removes a text area extension.
void	Gutter.removeExtension(TextAreaExtension extension) Removes a text area extension.