| org.gjt.sp.jedit.buffer.FoldHandlerProvider
All known Subclasses: org.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider,
| FoldHandlerProvider | | public interface FoldHandlerProvider (Code) | |
author:
Matthieu Casanova
version:
$Id: Buffer.java 8190 2006-12-07 07:58:34Z kpouer $
since:
jEdit 4.3pre10 |
| Method Summary | |
| FoldHandler | getFoldHandler(String name)
Returns the fold handler with the specified name, or null if
there is no registered handler with that name. | | String[] | getFoldModes()
Returns an array containing the names of all registered fold
handlers. |
| getFoldHandler | | 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 | | String[] getFoldModes()(Code) | | Returns an array containing the names of all registered fold
handlers.
since:
jEdit 4.0pre6 |
|
|