On Thu, Nov 3, 2011 at 2:52 PM, Matt Wilkie <[email protected]> wrote: >> Now we get to the original question :-) Should leoSettings.leo >> contain the usual defaults, or not? > > If this is a vote, I say yes.
I was a vote, and I am convinced that the answer should be yes. leoSettings.leo now does enable the usual default plugins. > I like the way Firefox "about:config" in the url bar shows the default > (global) settings and the user overridden settings in bold. The > as-you-type filtering is sweet too. I do too. This would make a good plugin. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
