Uses of Class
org.gjt.sp.jedit.textarea.TextAreaExtension
Packages that use TextAreaExtension
Package
Description
Printing.
Classes related to jEdit's TextArea.
-
Uses of TextAreaExtension in org.gjt.sp.jedit.print
Subclasses of TextAreaExtension in org.gjt.sp.jedit.printModifier and TypeClassDescriptionclassDraws 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 classPaints 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 TypeMethodDescriptionvoidGutter.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.