| java.lang.Object org.gjt.sp.jedit.textarea.TextAreaExtension
All known Subclasses: org.gjt.sp.jedit.textarea.InputMethodSupport,
Method Summary | |
public String | getToolTipText(int x, int y) Called by the text area when the mouse hovers over the
location specified in the mouse event. | public void | paintInvalidLine(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. | public void | paintScreenLineRange(Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight) Paints a range of screen lines. | public void | paintValidLine(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. |
getToolTipText | public String getToolTipText(int x, int y)(Code) | | Called by the text area when the mouse hovers over the
location specified in the mouse event.
Parameters: x - The x co-ordinate Parameters: y - The y co-ordinate since: jEdit 4.0pre4 |
paintInvalidLine | public void paintInvalidLine(Graphics2D gfx, int screenLine, int y)(Code) | | Called by the text area when the extension is to paint a
screen line which is not part of the buffer. This can happen
if the buffer is shorter than the height of the text area,
for example.
Parameters: gfx - The graphics context Parameters: screenLine - The screen line number Parameters: y - The y co-ordinate of the top of the line'sbounding box since: jEdit 4.0pre4 |
paintScreenLineRange | public void paintScreenLineRange(Graphics2D gfx, int firstLine, int lastLine, int[] physicalLines, int[] start, int[] end, int y, int lineHeight)(Code) | | Paints a range of screen lines. The default implementation calls
TextAreaExtension.paintValidLine(Graphics2D,int,int,int,int,int) and
TextAreaExtension.paintInvalidLine(Graphics2D,int,int) .
Parameters: gfx - A graphics context Parameters: firstLine - The first screen line Parameters: lastLine - The last screen line Parameters: physicalLines - The list of physical line numbers. Entries are-1 if the screen line is out of range. Parameters: start - An array of screen line start offsets. Parameters: end - An array of screen line end offsets Parameters: y - The y co-ordinate Parameters: lineHeight - The line height since: jEdit 4.2pre2 |
paintValidLine | public void paintValidLine(Graphics2D gfx, int screenLine, int physicalLine, int start, int end, int y)(Code) | | Called by the text area when the extension is to paint a
screen line which has an associated physical line number in
the buffer. Note that since one physical line may consist of
several screen lines due to soft wrap, the start and end
offsets of the screen line are passed in as well.
Parameters: gfx - The graphics context Parameters: screenLine - The screen line number Parameters: physicalLine - The physical line number Parameters: start - The offset where the screen line begins, fromthe start of the buffer Parameters: end - The offset where the screen line ends, from thestart of the buffer Parameters: y - The y co-ordinate of the top of the line'sbounding box since: jEdit 4.0pre4 |
|
|