By digging around in system leoSettings.leo I see that an empty user settings file is populated by copying @enabled_plugins from system settings (wish: easy show me what's different between default new user profile and mine).
The plugin list in system settings file seems out of date (leo_cloud is missing for example). There were some spelling and grammar mistakes in the head node, which I just fixed and pushed. I didn't touch the plugin list. On Fri, Dec 1, 2017 at 9:21 AM, Matt Wilkie <map...@gmail.com> wrote: > My myLeoSettings.leo file is now years old and there's a lot of stuff in > there that is no longer as relevant and sometimes at cross purposes to > today's best practices. Of particular interest to me today are plugins. > What are the current best/favourite/recommended plugins you use? And > conversely, avoid? > > thanks! > > -- 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
