Module jEdit

Package 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

Version:

$Id: PropertiesChanged.java 16730 2009-12-25 16:53:12Z shlomy $

Author:

Slava Pestov

Constructor Summary

Constructors

Constructor	Description
PropertiesChanged(Object source)	Creates a new properties changed message.
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 Details

PropertiesChanged

public PropertiesChanged(EBComponent source)

Creates a new properties changed message.

Parameters:

source - The message source

PropertiesChanged

public PropertiesChanged(Object source)

Creates a new properties changed message.

Parameters:

source - The message source