org.gjt.sp.jedit.msg
Class PropertiesChanging

java.lang.Object
  extended by org.gjt.sp.jedit.EBMessage
      extended by org.gjt.sp.jedit.msg.PropertiesChanging

public class PropertiesChanging
extends EBMessage

Message sent right before the global options dialog is shown. This allows plugins to flush any state before the options pane is loaded and the properties are read by the panes.

Since:
jEdit 4.3pre9

Nested Class Summary
static class PropertiesChanging.State
           
 
Constructor Summary
PropertiesChanging(EBComponent source, PropertiesChanging.State state)
          Creates a new properties changing message.
 
Method Summary
 PropertiesChanging.State getState()
           
 
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

PropertiesChanging

public PropertiesChanging(EBComponent source,
                          PropertiesChanging.State state)
Creates a new properties changing message.

Parameters:
source - The message source
state - An enum describing what is happening.
Method Detail

getState

public PropertiesChanging.State getState()