Method Detail

• 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

• public void init(JEditTextArea textArea, Highlight next)

  Called after the highlight painter has been added.

  Parameters:

  textArea - The text area

  next - The painter this one should delegate to

• 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 context

  line - The line number

  y - The y co-ordinate of the line