|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.gjt.sp.jedit.EBMessage
org.gjt.sp.jedit.msg.PropertiesChanging
public class PropertiesChanging
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.
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 |
---|
public PropertiesChanging(EBComponent source, PropertiesChanging.State state)
source
- The message sourcestate
- An enum describing what is happening.Method Detail |
---|
public PropertiesChanging.State getState()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |