|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.gjt.sp.jedit.textarea.ShapedFoldPainter
public abstract class ShapedFoldPainter
Fold Painter
| Constructor Summary | |
|---|---|
ShapedFoldPainter()
|
|
| Method Summary | |
|---|---|
void |
paintFoldEnd(Gutter gutter,
java.awt.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,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int y,
int lineHeight,
JEditBuffer buffer)
Paints the middle of a fold (single line) in the gutter. |
protected abstract void |
paintFoldShape(java.awt.Graphics2D gfx,
int top,
int bottom)
|
void |
paintFoldStart(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
boolean nextLineVisible,
int y,
int lineHeight,
JEditBuffer buffer)
Paints the beginning of a fold in the gutter. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public ShapedFoldPainter()
| Method Detail |
|---|
public void paintFoldEnd(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int y,
int lineHeight,
JEditBuffer buffer)
FoldPainter
paintFoldEnd in interface FoldPaintergutter - 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.
public void paintFoldMiddle(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int y,
int lineHeight,
JEditBuffer buffer)
FoldPainter
paintFoldMiddle in interface FoldPaintergutter - 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.
public void paintFoldStart(Gutter gutter,
java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
boolean nextLineVisible,
int y,
int lineHeight,
JEditBuffer buffer)
FoldPainter
paintFoldStart in interface FoldPaintergutter - 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.
protected abstract void paintFoldShape(java.awt.Graphics2D gfx,
int top,
int bottom)
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||