Uses of Class
org.gjt.sp.jedit.buffer.FoldHandler

Packages that use FoldHandler

org.gjt.sp.jedit	This package contains jEdit'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

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

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

FoldHandler	JEditBuffer.getFoldHandler() Returns the current buffer's fold handler.
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.
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	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.

Methods in org.gjt.sp.jedit.buffer with parameters of type FoldHandler

void	DefaultFoldHandlerProvider.addFoldHandler(FoldHandler foldHandler) Add a new FoldHander.
void	JEditBuffer.setFoldHandler(FoldHandler foldHandler) Sets the buffer's fold handler.