Interface FoldHandlerProvider

    • Method Summary

      All Methods Instance Methods Abstract 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.
    • Method Detail

      • getFoldHandler

        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.
        Parameters:
        name - The name of the desired fold handler
        Returns:
        the FoldHandler or null if it doesn't exist
        Since:
        jEdit 4.3pre10
      • getFoldModes

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