Module jEdit

Package org.gjt.sp.jedit.buffer

Class DefaultFoldHandlerProvider

java.lang.Object

org.gjt.sp.jedit.buffer.DefaultFoldHandlerProvider

All Implemented Interfaces:

FoldHandlerProvider

public class DefaultFoldHandlerProvider
extends Object
implements FoldHandlerProvider

Version:

$Id: Buffer.java 8190 2006-12-07 07:58:34Z kpouer $

Author:

Matthieu Casanova

Constructor Summary

Constructors

Constructor	Description
DefaultFoldHandlerProvider()

Method Summary

Modifier and Type	Method	Description
void	addFoldHandler(FoldHandler foldHandler)	Add a new FoldHander.
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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

DefaultFoldHandlerProvider

public DefaultFoldHandlerProvider()

Method Details

getFoldHandler

public FoldHandler getFoldHandler(String name)

Returns the fold handler with the specified name, or null if there is no registered handler with that name.

Specified by:

getFoldHandler in interface FoldHandlerProvider

Parameters:

name - The name of the desired fold handler

Returns:

the FoldHandler or null if it doesn't exist

Since:

jEdit 4.3pre10

getFoldModes

public String[] getFoldModes()

Returns an array containing the names of all registered fold handlers.

Specified by:

getFoldModes in interface FoldHandlerProvider

Since:

jEdit 4.0pre6

addFoldHandler

public void addFoldHandler(FoldHandler foldHandler)

Add a new FoldHander.

Parameters:

foldHandler - the new foldHandler

Since:

jEdit 4.3pre13