On Fri, Jul 31, 2020 at 2:33 PM GEOFFREY EVANS <[email protected]> wrote:
Edward, we need an umpire :-) > My apologies for the troubles you are having. In general, settings in myLeoSettings.leo completely override settings in leoSettings.leo. Alas, @enabled-plugins is an exception. There is no good way to disable a plugin once it is active, so @enabled-plugins can only *add* to the enabled plugins. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/CAMF8tS1inHfpBc5nu1DdL%3DsVrVJeQ06s0T-%3D_XAMr4T%2BjL5o8w%40mail.gmail.com.
