TextAreaHighlight

Overview

Package

Class

Use

Deprecated

Index

Home >> All >> org >> gjt >> sp >> jedit >> [ textarea overview ]

PREV CLASS NEXT CLASS

SUMMARY:

JAVADOC |

Sourc code of org.gjt.sp.jedit.textarea.TextAreaHighlight

SOURCE |

Download org.gjt.sp.jedit.textarea.TextAreaHighlight

DOWNLOAD | NESTED | FIELD | CONSTR | METHOD

DETAIL: FIELD | CONSTR | METHOD

org.gjt.sp.jedit.textarea
Interface TextAreaHighlight

public interface TextAreaHighlight

Highlight interface. Create implementations of this interface and add them to the text area with TextAreaPainter.addCustomHighlight() to paint custom highlights.

Version:: $Id: TextAreaHighlight.java,v 1.4 2003/06/30 17:31:08 blaisorblade Exp $

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, TextAreaHighlight 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,
                 TextAreaHighlight 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.