On Fri, Mar 3, 2017 at 9:20 AM, john lunzer <[email protected]> wrote:
> From a newbie's perspective I like the idea of themes being centrally > located in their own .leo file > There is now an open-themes-leo command, accessible via the File:Open Leo Files menu. > From the perspective of a more experience user, I make a lot of changes to > my theme in myLeoSettings.leo and there is a button in the theme itself > named "reload-styles" which I have to run after a change (and then restart > Leo). At this point I'm uncertain what the recommended method of > customizing a theme will be with the new changes. > As you say, it may depend on skill level. 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
