org.gjt.sp.jedit.textarea
Interface TextAreaPainter.Highlight
- Enclosing class:
- TextAreaPainter
- public static interface TextAreaPainter.Highlight
Highlight interface.
Method Summary |
java.lang.String |
getToolTipText(java.awt.event.MouseEvent evt)
Returns the tool tip to display at the specified
location. |
void |
init(JEditTextArea textArea,
TextAreaPainter.Highlight next)
Called after the highlight painter has been added. |
void |
paintHighlight(java.awt.Graphics gfx,
int line,
int y)
This should paint the highlight and delgate to the
next highlight painter. |
init
public void init(JEditTextArea textArea,
TextAreaPainter.Highlight next)
- Called after the highlight painter has been added.
- Parameters:
textArea
- The text areanext
- The painter this one should delegate to
paintHighlight
public void paintHighlight(java.awt.Graphics gfx,
int line,
int y)
- This should paint the highlight and delgate to the
next highlight painter.
- Parameters:
gfx
- The graphics contextline
- The line numbery
- The y co-ordinate of the line
getToolTipText
public java.lang.String getToolTipText(java.awt.event.MouseEvent evt)
- Returns the tool tip to display at the specified
location. If this highlighter doesn't know what to
display, it should delegate to the next highlight
painter.
- Parameters:
evt
- The mouse event