|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ help overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
org.gjt.sp.jedit.help
Class HelpViewer.PropertyChangeHandler

java.lang.Objectorg.gjt.sp.jedit.help.HelpViewer.PropertyChangeHandler
- All Implemented Interfaces:
- java.util.EventListener, java.beans.PropertyChangeListener
- Enclosing class:
- HelpViewer
- class HelpViewer.PropertyChangeHandler
- extends java.lang.Object
- implements java.beans.PropertyChangeListener
- extends java.lang.Object
| Constructor Summary | |
(package private) |
HelpViewer.PropertyChangeHandler()
|
| Method Summary | |
void |
propertyChange(java.beans.PropertyChangeEvent evt)
Fired after a Bean's property has changed. |
| Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
HelpViewer.PropertyChangeHandler
HelpViewer.PropertyChangeHandler()
| Method Detail |
propertyChange
public void propertyChange(java.beans.PropertyChangeEvent evt)
- Description copied from interface:
java.beans.PropertyChangeListener - Fired after a Bean's property has changed.
- Specified by:
propertyChangein interfacejava.beans.PropertyChangeListener
|
|||||||||
| Home >> All >> org >> gjt >> sp >> jedit >> [ help overview ] | PREV CLASS NEXT CLASS | ||||||||
SUMMARY: JAVADOC | SOURCE | DOWNLOAD | NESTED | FIELD | CONSTR | METHOD |
DETAIL: FIELD | CONSTR | METHOD | ||||||||
JAVADOC
org.gjt.sp.jedit.help.HelpViewer.PropertyChangeHandler