Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> jext >> [ search overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---

org.jext.search
Class SearchHighlight  

java.lang.Object
  org.jext.search.SearchHighlight

All Implemented Interfaces:

org.gjt.sp.jedit.textarea.TextAreaHighlight

---

public class SearchHighlight

extends java.lang.Object

implements org.gjt.sp.jedit.textarea.TextAreaHighlight

---

Field Summary
private  boolean	enabled
private  java.util.ArrayList	matches
private  org.gjt.sp.jedit.textarea.TextAreaHighlight	next
private  org.jext.JextTextArea	textArea

 

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(org.gjt.sp.jedit.textarea.JEditTextArea textArea, org.gjt.sp.jedit.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

 

Field Detail

matches

private java.util.ArrayList matches

---

textArea

private org.jext.JextTextArea textArea

---

next

private org.gjt.sp.jedit.textarea.TextAreaHighlight next

---

enabled

private boolean enabled

Constructor Detail

SearchHighlight

public SearchHighlight()

Method Detail

disable

public void disable()

---

enable

public void enable()

---

trigger

public void trigger(boolean on)

---

setMatches

public void setMatches(java.util.ArrayList matches)

---

init

public void init(org.gjt.sp.jedit.textarea.JEditTextArea textArea,
                 org.gjt.sp.jedit.textarea.TextAreaHighlight next)

Description copied from interface: org.gjt.sp.jedit.textarea.TextAreaHighlight

Called after the highlight painter has been added.

Specified by:

init in interface org.gjt.sp.jedit.textarea.TextAreaHighlight

---

paintHighlight

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

Description copied from interface: org.gjt.sp.jedit.textarea.TextAreaHighlight

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

Specified by:

paintHighlight in interface org.gjt.sp.jedit.textarea.TextAreaHighlight

---

getToolTipText

public java.lang.String getToolTipText(java.awt.event.MouseEvent evt)

Description copied from interface: org.gjt.sp.jedit.textarea.TextAreaHighlight

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.

Specified by:

getToolTipText in interface org.gjt.sp.jedit.textarea.TextAreaHighlight

---

finalize

protected void finalize()
                 throws java.lang.Throwable

Patch -> Memory management improvements : it may help the garbage collector. -> Author : Julien Ponge (julien@izforge.com) -> Date : 23, May 2001

---

Overview  Package   Class  Use  Deprecated  Index
Home >> All >> org >> jext >> [ search overview ]	PREV CLASS  NEXT CLASS
SUMMARY:  JAVADOC |  SOURCE |  DOWNLOAD | NESTED | FIELD | CONSTR | METHOD	DETAIL: FIELD | CONSTR | METHOD

---