Uses of Class
org.gjt.sp.jedit.textarea.TextAreaExtension
Packages that use TextAreaExtension
-
Uses of TextAreaExtension in de.grogra.ext.jedit
Subclasses of TextAreaExtension in de.grogra.ext.jeditModifier and TypeClassDescriptionclass
A simple highlighter that can be used by the autocompletor -
Uses of TextAreaExtension in org.gjt.sp.jedit.print
Subclasses of TextAreaExtension in org.gjt.sp.jedit.printModifier and TypeClassDescriptionclass
Draws a line across the text area indicating where a printing page break would be. -
Uses of TextAreaExtension in org.gjt.sp.jedit.textarea
Subclasses of TextAreaExtension in org.gjt.sp.jedit.textareaModifier and TypeClassDescriptionstatic class
Paints the structure match highlight.Methods in org.gjt.sp.jedit.textarea that return TextAreaExtensionModifier and TypeMethodDescriptionGutter.getExtensions()
Returns an array of registered text area extensions.TextAreaPainter.getExtensions()
Returns an array of registered text area extensions.Methods in org.gjt.sp.jedit.textarea with parameters of type TextAreaExtensionModifier and TypeMethodDescriptionvoid
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.