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 classPageBreakExtensionDraws 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 classStructureMatcher.HighlightPaints 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 voidGutter. addExtension(int layer, TextAreaExtension extension)Adds a text area extension, which can perform custom painting and tool tip handling.voidGutter. addExtension(TextAreaExtension extension)Adds a text area extension, which can perform custom painting and tool tip handling.voidTextAreaPainter. addExtension(int layer, TextAreaExtension extension)Adds a text area extension, which can perform custom painting and tool tip handling.voidTextAreaPainter. addExtension(TextAreaExtension extension)Adds a text area extension, which can perform custom painting and tool tip handling.voidGutter. removeExtension(TextAreaExtension extension)Removes a text area extension.voidTextAreaPainter. removeExtension(TextAreaExtension extension)Removes a text area extension.
-