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