Module jEdit

Class StringFoldHandler

java.lang.Object
org.gjt.sp.jedit.buffer.FoldHandler
de.grogra.ext.jedit.StringFoldHandler

public class StringFoldHandler extends FoldHandler
  • Constructor Details

    • StringFoldHandler

      public StringFoldHandler(String name, String[] opening, String[] closing, boolean javaEscaping)
    • StringFoldHandler

      public StringFoldHandler(String name, String opening, String closing, boolean javaEscaping)
  • Method Details

    • getFoldLevel

      public int getFoldLevel(JEditBuffer buffer, int lineIndex, Segment seg)
      Description copied from class: FoldHandler
      Returns the fold level of the specified line.
      Specified by:
      getFoldLevel in class FoldHandler
      Parameters:
      buffer - The buffer in question
      lineIndex - The line index
      seg - A segment the fold handler can use to obtain any text from the buffer, if necessary
      Returns:
      The fold level of the specified line
    • equals

      public boolean equals(Object o)
      Description copied from class: FoldHandler
      Returns if the specified fold handler is equal to this one.
      Overrides:
      equals in class FoldHandler
      Parameters:
      o - The object
    • hashCode

      public int hashCode()
      Overrides:
      hashCode in class FoldHandler