public abstract class TextAreaExtension
extends java.lang.Object
Constructor and Description |
---|
TextAreaExtension() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getToolTipText(int x,
int y)
Called by the text area when the mouse hovers over the
location specified in the mouse event.
|
void |
paintInvalidLine(java.awt.Graphics2D gfx,
int screenLine,
int y)
Called by the text area when the extension is to paint a
screen line which is not part of the buffer.
|
void |
paintScreenLineRange(java.awt.Graphics2D gfx,
int firstLine,
int lastLine,
int[] physicalLines,
int[] start,
int[] end,
int y,
int lineHeight)
Paints a range of screen lines.
|
void |
paintValidLine(java.awt.Graphics2D gfx,
int screenLine,
int physicalLine,
int start,
int end,
int y)
Called by the text area when the extension is to paint a
screen line which has an associated physical line number in
the buffer.
|
public void paintScreenLineRange(java.awt.Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight)
paintValidLine(Graphics2D,int,int,int,int,int)
and
paintInvalidLine(Graphics2D,int,int)
.gfx
- A graphics contextfirstLine
- The first screen linelastLine
- The last screen linephysicalLines
- The list of physical line numbers. Entries are
-1 if the screen line is out of range.start
- An array of screen line start offsets.end
- An array of screen line end offsetsy
- The y co-ordinatelineHeight
- The line heightpublic void paintValidLine(java.awt.Graphics2D gfx, int screenLine, int physicalLine, int start, int end, int y)
gfx
- The graphics contextscreenLine
- The screen line numberphysicalLine
- The physical line numberstart
- The offset where the screen line begins, from
the start of the bufferend
- The offset where the screen line ends, from the
start of the buffery
- The y co-ordinate of the top of the line's
bounding boxpublic void paintInvalidLine(java.awt.Graphics2D gfx, int screenLine, int y)
gfx
- The graphics contextscreenLine
- The screen line numbery
- The y co-ordinate of the top of the line's
bounding boxpublic java.lang.String getToolTipText(int x, int y)
x
- The x co-ordinatey
- The y co-ordinate