org.gjt.sp.jedit.msg
Class PropertiesChanged

java.lang.Object
  org.gjt.sp.jedit.EBMessage
      org.gjt.sp.jedit.msg.PropertiesChanged

public class PropertiesChanged
extends EBMessage

Message sent when properties are changed using the global options or plugin options dialog box.

Since:

jEdit 2.2pre6

Constructor Summary

PropertiesChanged(EBComponent source)
Creates a new properties changed message.

Method Summary

Methods inherited from class org.gjt.sp.jedit.EBMessage

getSource, paramString, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

PropertiesChanged

public PropertiesChanged(EBComponent source)

Creates a new properties changed message.

Parameters:

source - The message source