Class 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
    • 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.