Uses of Class
org.gjt.sp.jedit.buffer.FoldHandler
-
Uses of FoldHandler in de.grogra.ext.jedit
-
Uses of FoldHandler in org.gjt.sp.jedit
Modifier 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
Modifier 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.Modifier 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()
Modifier and TypeMethodDescriptionvoid
DefaultFoldHandlerProvider.addFoldHandler
(FoldHandler foldHandler) Add a new FoldHander.void
JEditBuffer.setFoldHandler
(FoldHandler foldHandler) Sets the buffer's fold handler.