| java.lang.Object org.gjt.sp.jedit.EBMessage org.gjt.sp.jedit.msg.PropertiesChanging
PropertiesChanging | public class PropertiesChanging extends EBMessage (Code) | | 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.
author: Marcelo Vanzin version: $Id$ since: jEdit 4.3pre9 |
Inner Class :public enum State | |
PropertiesChanging | public PropertiesChanging(EBComponent source, State state)(Code) | | Creates a new properties changing message.
Parameters: source - The message source Parameters: state - An enum describing what is happening. |
getState | public State getState()(Code) | | |
|
|