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.