textbender.a.r.page
Class LeafGeneObjectV

java.lang.Object
  extended by LeafGeneObjectV
All Implemented Interfaces:
PropertyChangeListener, EventListener

@ThreadRestricted(value="AWT event dispatch")
final class LeafGeneObjectV
extends Object
implements PropertyChangeListener

A view of the context of an impending user action, in the page. Whenever the context changes, it highlights the corresponding element in the document.

See Also:
User.getLeafGene()

Constructor Summary
LeafGeneObjectV(PageVisit pageVisit)
          Creates an LeafGeneObjectV.
 
Method Summary
 void propertyChange(PropertyChangeEvent e)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

LeafGeneObjectV

LeafGeneObjectV(PageVisit pageVisit)
Creates an LeafGeneObjectV.

It releases itself at page exit. There is no way to release it before then.

Method Detail

propertyChange

public void propertyChange(PropertyChangeEvent e)
Specified by:
propertyChange in interface PropertyChangeListener