Module jEdit
Package org.gjt.sp.jedit.buffer

Interface FoldHandlerProvider

All Known Implementing Classes:
DefaultFoldHandlerProvider, ServiceManager.ServiceFoldHandlerProvider
public interface FoldHandlerProvider
Since:
jEdit 4.3pre10
Version:
$Id: Buffer.java 8190 2006-12-07 07:58:34Z kpouer $
Author:
Matthieu Casanova

  • Method Summary

    Modifier and Type
    Method
    Description
    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.

  • Method Details

    • getFoldHandler

      FoldHandler getFoldHandler(String name)
      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
      Returns:
      the FoldHandler or null if it doesn't exist
      Since:
      jEdit 4.3pre10

    • getFoldModes

      String[] getFoldModes()
      Returns an array containing the names of all registered fold handlers.
      Since:
      jEdit 4.0pre6