Package | Description |
---|---|
org.gjt.sp.jedit |
This package contains jEdit 4's core classes.
|
org.gjt.sp.jedit.buffer |
Buffer event listeners, and classes used to implement jEdit's document model.
|
Modifier and Type | Method and Description |
---|---|
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.
|
Modifier and Type | Class and Description |
---|---|
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.
|
Modifier and Type | Method and Description |
---|---|
FoldHandler |
JEditBuffer.getFoldHandler() |
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.
|
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.
|
Modifier and Type | Method and Description |
---|---|
void |
DefaultFoldHandlerProvider.addFoldHandler(FoldHandler foldHandler)
Add a new FoldHander.
|
void |
JEditBuffer.setFoldHandler(FoldHandler foldHandler)
Sets the buffer's fold handler.
|