Package | Description |
---|---|
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.
|
Modifier and Type | Method | 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 | 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 | Description |
---|---|---|
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.
|
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 |
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.
|
FoldHandler |
JEditBuffer.getFoldHandler() |
Returns the current buffer's fold handler.
|
Modifier and Type | Method | Description |
---|---|---|
void |
DefaultFoldHandlerProvider.addFoldHandler(FoldHandler foldHandler) |
Add a new FoldHander.
|
void |
JEditBuffer.setFoldHandler(FoldHandler foldHandler) |
Sets the buffer's fold handler.
|