textbender.a.r.page
Class LeafGeneObjectV
java.lang.Object
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()
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
LeafGeneObjectV
LeafGeneObjectV(PageVisit pageVisit)
- Creates an LeafGeneObjectV.
It releases itself at page exit.
There is no way to release it before then.
propertyChange
public void propertyChange(PropertyChangeEvent e)
- Specified by:
propertyChange
in interface PropertyChangeListener