PropertiesChanged (jEdit API Documentation)

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

Constructors
Constructor	Description
`PropertiesChanged(java.lang.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 Detail
  - PropertiesChanged
```
public PropertiesChanged(EBComponent source)
```
    Creates a new properties changed message.
    
    Parameters:
    
    source - The message source
  - PropertiesChanged
```
public PropertiesChanged(java.lang.Object source)
```
    Creates a new properties changed message.
    
    Parameters:
    
    source - The message source