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