org.gvsig.utils.console.jedit

Interface TextAreaPainter.Highlight

Enclosing class:

TextAreaPainter

public static interface TextAreaPainter.Highlight

Highlight interface.

Method Summary

Modifier and Type	Method and Description
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.

Method Detail

init

void init(JEditTextArea textArea,
          TextAreaPainter.Highlight next)

Called after the highlight painter has been added.

Parameters:

textArea - The text area

next - The painter this one should delegate to

paintHighlight

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 context

line - The line number

y - The y co-ordinate of the line

getToolTipText

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