| java.lang.Object
 org.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider
| DefaultFoldHandlerProvider | | public class DefaultFoldHandlerProvider implements FoldHandlerProvider(Code) | |
author:
Matthieu Casanova
version:
$Id: Buffer.java 8190 2006-12-07 07:58:34Z kpouer $ |
| Method Summary | |
| public FoldHandler | getFoldHandler(String name)
Returns the fold handler with the specified name, or null if
there is no registered handler with that name. | | public String[] | getFoldModes()
Returns an array containing the names of all registered fold
handlers. |
| getFoldHandler | | public FoldHandler getFoldHandler(String name)(Code) | | Returns the fold handler with the specified name, or null if
there is no registered handler with that name.
Parameters:
name - The name of the desired fold handler the FoldHandler or null if it doesn't exists
since:
jEdit 4.3pre10 |
| getFoldModes | | public String[] getFoldModes()(Code) | | Returns an array containing the names of all registered fold
handlers.
since:
jEdit 4.0pre6 |
|
|