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
    Version:
    $Id$
    Author:
    Marcelo Vanzin
    • 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.