Package org.gjt.sp.jedit.msg

Class PropertiesChanging

java.lang.Object

org.gjt.sp.jedit.EBMessage

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

Version:

$Id$

Author:

Marcelo Vanzin

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	PropertiesChanging.State

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
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()