|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |