On Sun, Apr 14, 2013 at 3:35 AM, lewis <[email protected]> wrote:
> > A question for Edward - Clicking the menu Help>Open leoSettings.leo and > Help>Open myLeoSettings.leo operates as an immediate toggle between the > custom and default leosettings. > > Is that toggle intended? I would have expected that leo should behave > according to the users preferred settings in their myLeoSettings.leo file. > Thanks for asking a question, rather than immediately filing a bug report :-) The general idea is that opening either of the two settings files must be handled as something of a special case. Furthermore, certain settings (like enabled plugins) are inherently "cumulative": the add to what is already in effect, rather than override what is in effect. Settings probably work as one would naively expect when you open a clean copy of Leo, but there may be some glitches when you open additional files. If there is specific behavior that you find dubious, please describe exactly what it is. We can discuss it, and you can then file a bug report if you like. 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
