|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider
public class DefaultFoldHandlerProvider
Constructor Summary | |
---|---|
DefaultFoldHandlerProvider()
|
Method Summary | |
---|---|
void |
addFoldHandler(FoldHandler foldHandler)
Add a new FoldHander. |
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. |
java.lang.String[] |
getFoldModes()
Returns an array containing the names of all registered fold handlers. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public DefaultFoldHandlerProvider()
Method Detail |
---|
public FoldHandler getFoldHandler(java.lang.String name)
getFoldHandler
in interface FoldHandlerProvider
name
- The name of the desired fold handler
public java.lang.String[] getFoldModes()
getFoldModes
in interface FoldHandlerProvider
public void addFoldHandler(FoldHandler foldHandler)
foldHandler
- the new foldHandler
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |