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

Packages that use TextAreaExtension
org.gjt.sp.jedit.textarea The classes in this package are in the process of being refactored, for jedit 4.3final. 
 

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.