Uses of Class
org.gjt.sp.jedit.buffer.FoldHandler
Packages that use FoldHandler
Package
Description
This package contains jEdit 4's core classes.
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 FoldHandlerModifier and TypeMethodDescriptionServiceManager.ServiceFoldHandlerProvider.getFoldHandler
(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.bufferModifier and TypeClassDescriptionclass
A fold handler that does nothing.class
A fold handler that folds lines based on markers ("{{{" and "}}}") embedded in the text.class
A fold handler that folds lines based on their indent level.Methods in org.gjt.sp.jedit.buffer that return FoldHandlerModifier and TypeMethodDescriptionDefaultFoldHandlerProvider.getFoldHandler
(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
(String name) Returns the fold handler with the specified name, or null if there is no registered handler with that name.FoldHandlerProvider.getFoldHandler
(String name) Returns the fold handler with the specified name, or null if there is no registered handler with that name.JEditBuffer.getFoldHandler()
Methods in org.gjt.sp.jedit.buffer with parameters of type FoldHandlerModifier and TypeMethodDescriptionvoid
DefaultFoldHandlerProvider.addFoldHandler
(FoldHandler foldHandler) Add a new FoldHander.void
JEditBuffer.setFoldHandler
(FoldHandler foldHandler) Sets the buffer's fold handler.