Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

Packages that use TextAreaExtension
org.gjt.sp.jedit.textarea | Classes related to jEdit's TextArea.

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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES