org.jeditor.gui

Interface CodeEditorPainter.Highlight

Enclosing class:

CodeEditorPainter

public static interface CodeEditorPainter.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(JEditor editor, CodeEditorPainter.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(JEditor editor,
          CodeEditorPainter.Highlight next)

Called after the highlight painter has been added.

Parameters:

editor - The code editor

next - the text to highlight

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

Returns:

the tool tip