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.