|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |