On Sat, 3 Mar 2018 11:40:28 -0600 "Edward K. Ream" <[email protected]> wrote:
> Leo *must* have a library of pre-built themes that users can choose > without knowing *anything* about @settings trees and > myLeoSettings.leo. This sounds like a good idea - I just want to point out that the problem identified here is @settings / myLeoSettings.leo / using Leo as a settings manager, and not the theme generation machinery per se. Just hoping we can add switchable themes without losing anything like substitution of settings into stylesheets, which I don't think is part of the proximal problem here. Also that I don't think @settings / myLeoSettings.leo / using Leo as a settings manager is a bad thing, it's just awkward for newbies seeing they want to do it before they've had any chance to get the Leo way :) Kind of like having a French English dictionary with the only index in French, when all you speak is English. Cheers -Terry -- 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.
