jedi.event
Class PrefsChangedEvent

java.lang.Object
  |
  +--java.util.EventObject
        |
        +--jedi.event.PrefsChangedEvent

public class PrefsChangedEvent
extends java.util.EventObject

See Also:
Serialized Form

Fields inherited from class java.util.EventObject
source
 
Constructor Summary
PrefsChangedEvent(java.lang.Object o, java.lang.String prefsname)
           
 
Method Summary
 java.lang.String getPrefsName()
           
 
Methods inherited from class java.util.EventObject
getSource, toString
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

PrefsChangedEvent

public PrefsChangedEvent(java.lang.Object o,
                         java.lang.String prefsname)
Method Detail

getPrefsName

public java.lang.String getPrefsName()