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

Interface FoldPainter

All Known Implementing Classes:
CircleFoldPainter, ShapedFoldPainter, SquareFoldPainter, TriangleFoldPainter
public interface FoldPainter
FoldPainter defines the interface for fold painters in the gutter.
Since:
jEdit 4.3pre16
Version:
$Id: FoldPainter.java 21971 2012-08-02 20:32:37Z jarekczek $
Author:
Shlomy Reinstein

  • Method Summary

    Modifier and Type
    Method
    Description
    void
    paintFoldEnd(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
    Paints the end of a fold in the gutter.
    void
    paintFoldMiddle(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
    Paints the middle of a fold (single line) in the gutter.
    void
    paintFoldStart(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, boolean nextLineVisible, int y, int lineHeight, JEditBuffer buffer)
    Paints the beginning of a fold in the gutter.

  • Method Details

    • paintFoldStart

      void paintFoldStart(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, boolean nextLineVisible, int y, int lineHeight, JEditBuffer buffer)
      Paints the beginning of a fold in the gutter.
      Parameters:
      gutter - The gutter in which the fold is drawn.
      gfx - The graphics object to use for the painting.
      screenLine - The index of the line on the screen (e.g. 5th from top).
      physicalLine - The index of the line in the buffer.
      nextLineVisible - Whether the next buffer line is visible on screen.
      y - The y coordinate of the top of the line on the screen.
      lineHeight - The line height in pixels.
      buffer - The buffer to which the line belongs.

    • paintFoldEnd

      void paintFoldEnd(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
      Paints the end of a fold in the gutter.
      Parameters:
      gutter - The gutter in which the fold is drawn.
      gfx - The graphics object to use for the painting.
      screenLine - The index of the line on the screen (e.g. 5th from top).
      physicalLine - The index of the line in the buffer.
      y - The y coordinate of the top of the line on the screen.
      lineHeight - The line height in pixels.
      buffer - The buffer to which the line belongs.

    • paintFoldMiddle

      void paintFoldMiddle(Gutter gutter, Graphics2D gfx, int screenLine, int physicalLine, int y, int lineHeight, JEditBuffer buffer)
      Paints the middle of a fold (single line) in the gutter.
      Parameters:
      gutter - The gutter in which the fold is drawn.
      gfx - The graphics object to use for the painting.
      screenLine - The index of the line on the screen (e.g. 5th from top).
      physicalLine - The index of the line in the buffer.
      y - The y coordinate of the top of the line on the screen.
      lineHeight - The line height in pixels.
      buffer - The buffer to which the line belongs.