Package | Description |
---|---|
org.gjt.sp.jedit.textarea |
Classes related to jEdit's TextArea.
|
Modifier and Type | Class | Description |
---|---|---|
static class |
StructureMatcher.Highlight |
Paints the structure match highlight.
|
Modifier and Type | Method | Description |
---|---|---|
TextAreaExtension[] |
Gutter.getExtensions() |
Returns an array of registered text area extensions.
|
TextAreaExtension[] |
TextAreaPainter.getExtensions() |
Returns an array of registered text area extensions.
|
Modifier and Type | Method | Description |
---|---|---|
void |
Gutter.addExtension(int layer,
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.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.removeExtension(TextAreaExtension extension) |
Removes a text area extension.
|
void |
TextAreaPainter.removeExtension(TextAreaExtension extension) |
Removes a text area extension.
|