Uses of Class
org.gjt.sp.jedit.textarea.TextAreaExtension
-
Packages that use TextAreaExtension Package Description org.gjt.sp.jedit.print Printing.org.gjt.sp.jedit.textarea Classes related to jEdit's TextArea. -
-
Uses of TextAreaExtension in org.gjt.sp.jedit.print
Subclasses of TextAreaExtension in org.gjt.sp.jedit.print Modifier and Type Class Description class
PageBreakExtension
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.textarea Modifier and Type Class Description static class
StructureMatcher.Highlight
Paints the structure match highlight.Methods in org.gjt.sp.jedit.textarea that return TextAreaExtension 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.Methods in org.gjt.sp.jedit.textarea with parameters of type TextAreaExtension 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.
-