On Tue, 7 Mar 2017 15:19:20 -0800 (PST) "Edward K. Ream" <[email protected]> wrote:
> Maybe we can make the css comments do the heavy lifting, as you > suggest. In that case, maybe not much new really is required. But it > must be a lot easier to discover and use than at present. I'm not suggesting using the css comment mechanism, just saying I don't see how it's different from the @constants approach, although I haven't seen the latter, and perhaps the latter's a bit more robust. However, my preference would be for deprecating the comments mechanism and just using regular Leo settings. > Here is what I know for sure: > > 1. No matter what we do, the user will have to copy more than one > setting into myLeoSettings.leo. True, but that can be encapsulated by copying a *single* @theme node to the end of myLeoSettings.leo. Any number of @settings used by the @theme can be carried along with that node in whatever substrees it contains. Theme installation can be as simple as copying one node. > 2. There is a distinction, brought forth more clearly in this > discussion, between settings that affect the stylesheet and settings > that are used by Leo's core in other ways. These latter settings must > be copied to myLeoSettings.leo. Seems like a nit, given above comment. > 3. I am going to leave the StyleSheetManager alone, for compatibility > with existing settings. > > 4. We have got to come up with something that is obvious and > explicit. Like an @button node. No Easter Eggs. I don't think there's an Easter Egg issue with using Leo's @settings. Parsing CSS comments might be and Easter Egg, if not sufficiently obvious, but I'm not really sure why that was implemented in the first place - only reason I can think of is editing a single body text is sometimes more convenient than a whole lot of headlines, but given the comment nesting pitfalls you've pointed out, I still argue for deprecating it. 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.
