public class SearchHighlight extends java.lang.Object implements TextAreaHighlight
Constructor and Description |
---|
SearchHighlight() |
Modifier and Type | Method and Description |
---|---|
void |
disable() |
void |
enable() |
protected void |
finalize()
Patch
-> Memory management improvements : it may help the garbage collector.
|
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.
|
void |
setMatches(java.util.ArrayList matches) |
void |
trigger(boolean on) |
public void disable()
public void enable()
public void trigger(boolean on)
public void setMatches(java.util.ArrayList matches)
public void init(JEditTextArea textArea, TextAreaHighlight next)
TextAreaHighlight
init
in interface TextAreaHighlight
textArea
- The text areanext
- The painter this one should delegate topublic void paintHighlight(java.awt.Graphics gfx, int line, int y)
TextAreaHighlight
paintHighlight
in interface TextAreaHighlight
gfx
- The graphics contextline
- The line numbery
- The y co-ordinate of the linepublic java.lang.String getToolTipText(java.awt.event.MouseEvent evt)
TextAreaHighlight
getToolTipText
in interface TextAreaHighlight
evt
- The mouse eventprotected void finalize() throws java.lang.Throwable
finalize
in class java.lang.Object
java.lang.Throwable
Copyright ? 2002 Romain Guy.