JEditTextAreaPainter.Highlight

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> com >> memoire >> [ jedit overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of com.memoire.jedit.JEditTextAreaPainter

SOURCE |

Download com.memoire.jedit.JEditTextAreaPainter

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

com.memoire.jedit
Interface JEditTextAreaPainter.Highlight

Enclosing interface:: JEditTextAreaPainter

public static interface JEditTextAreaPainter.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, JEditTextAreaPainter.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

public void init(JEditTextArea textArea,
                 JEditTextAreaPainter.Highlight next)

Called after the highlight painter has been added.

paintHighlight

public void paintHighlight(java.awt.Graphics gfx,
                           int line,
                           int y)

This should paint the highlight and delgate to the next highlight painter.

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.