Uses of Class
org.gjt.sp.jedit.buffer.FoldHandler
Packages that use FoldHandler
-
Uses of FoldHandler in de.grogra.ext.jedit
Subclasses of FoldHandler in de.grogra.ext.jedit -
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.