Package org.gjt.sp.jedit
Class ServiceManager.ServiceFoldHandlerProvider
- java.lang.Object
-
- org.gjt.sp.jedit.ServiceManager.ServiceFoldHandlerProvider
-
- All Implemented Interfaces:
FoldHandlerProvider
- Enclosing class:
- ServiceManager
public static class ServiceManager.ServiceFoldHandlerProvider extends java.lang.Object implements FoldHandlerProvider
A FoldHandler based on the ServiceManager- Since:
- jEdit 4.3pre10
-
-
Field Summary
Fields Modifier and Type Field Description static java.lang.String
SERVICE
The service type.
-
Constructor Summary
Constructors Constructor Description ServiceFoldHandlerProvider()
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description 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.
-
-
-
Field Detail
-
SERVICE
public static final java.lang.String SERVICE
The service type. SeeServiceManager
.- Since:
- jEdit 4.3pre10
- See Also:
- Constant Field Values
-
-
Method Detail
-
getFoldHandler
public 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.- Specified by:
getFoldHandler
in interfaceFoldHandlerProvider
- 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 java.lang.String[] getFoldModes()
Returns an array containing the names of all registered fold handlers.- Specified by:
getFoldModes
in interfaceFoldHandlerProvider
- Since:
- jEdit 4.3pre10
-
-