|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.jext.search.SearchHighlight
public class SearchHighlight
Constructor Summary | |
---|---|
SearchHighlight()
|
Method Summary | |
---|---|
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)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SearchHighlight()
Method Detail |
---|
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
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |