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 TypeClassDescriptionclassA 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 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.