PropertiesChanged (jEdit API Documentation)
Date: 2015-10-20

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

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