Uses of Class
org.gjt.sp.jedit.buffer.FoldHandler
-
Packages that use FoldHandler Package Description org.gjt.sp.jedit This package contains jEdit 4's core classes.org.gjt.sp.jedit.buffer Buffer event listeners, and classes used to implement jEdit's document model. -
-
Uses of FoldHandler in org.gjt.sp.jedit
Methods in org.gjt.sp.jedit that return FoldHandler Modifier and Type Method Description FoldHandler
ServiceManager.ServiceFoldHandlerProvider. getFoldHandler(java.lang.String name)
Returns the fold handler with the specified name, or null if there is no registered handler with that name. -
Uses of FoldHandler in org.gjt.sp.jedit.buffer
Subclasses of FoldHandler in org.gjt.sp.jedit.buffer Modifier and Type Class Description class
DummyFoldHandler
A fold handler that does nothing.class
ExplicitFoldHandler
A fold handler that folds lines based on markers ("{{{" and "}}}") embedded in the text.class
IndentFoldHandler
A fold handler that folds lines based on their indent level.Methods in org.gjt.sp.jedit.buffer that return FoldHandler Modifier and Type Method Description FoldHandler
DefaultFoldHandlerProvider. getFoldHandler(java.lang.String name)
Returns the fold handler with the specified name, or null if there is no registered handler with that name.static FoldHandler
FoldHandler. getFoldHandler(java.lang.String name)
Returns the fold handler with the specified name, or null if there is no registered handler with that name.FoldHandler
FoldHandlerProvider. getFoldHandler(java.lang.String name)
Returns the fold handler with the specified name, or null if there is no registered handler with that name.FoldHandler
JEditBuffer. getFoldHandler()
Methods in org.gjt.sp.jedit.buffer with parameters of type FoldHandler Modifier and Type Method Description void
DefaultFoldHandlerProvider. addFoldHandler(FoldHandler foldHandler)
Add a new FoldHander.void
JEditBuffer. setFoldHandler(FoldHandler foldHandler)
Sets the buffer's fold handler.
-