Uses of Class
org.gjt.sp.jedit.textarea.TextAreaExtension
-
Uses of TextAreaExtension in org.gjt.sp.jedit.print
Modifier 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
Modifier and TypeClassDescriptionstatic class
Paints the structure match highlight.Modifier and TypeMethodDescriptionGutter.getExtensions()
Returns an array of registered text area extensions.TextAreaPainter.getExtensions()
Returns an array of registered text area extensions.Modifier 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.