On Thu, 11 Sep 2014 07:38:50 -0700 (PDT) "Edward K. Ream" <edream...@gmail.com> wrote:
> Hah. I hadn't noticed them ;-) What exactly does the "pick font" > button do? Shows the Qt font selector dialog and copies the selected font name to the clipboard - it occurs to me that it could also offer to update the selected node with that font name if that seemed appropriate. > > Concatenating it back together is the > > trivial "recompile" step. > > > > Cool! Are you saying that everything just works *now*?? Apart from > the separate @color/@font nodes, that is. The separate @color/@font (@string actually, not @font, can't remember why but @font wasn't working and seemed unnecessary) nodes do work now. What's needed is: - making sure all the things the user might want to change (colors, sizes of all manner of things, font names, etc.) are represented in the stylesheet by @some-name tokens and not just hard coded raw values. And that all the @some-name settings are in an outline with notes and sensible defaults. - the hierarchical menu under Settings so that when a user want to change the text color, they look at the Settings menu and find Settings -> Styles -> Colors -> Text or something like that. The coding needed for this will copy the theme settings from leoSettings.leo to myLeoSettings.leo (if it's not already there) and jump the user to the right spot in myLeoSettings.leo (i.e. a simple @settings subtree, not a stylesheet). My thought is that the hierarchical menu would consult a corresponding hierarchical data structure to find a tag value, something like "STYLE:COLOR:TEXT", and find that in the @settings tree - maybe living in the body of the settings nodes, e.g. in the 'Settings for theme' -> 'colors' node body in the example further back in this thread. There's some fiddly bits finding the last, i.e. active, set of definitions in myLeoSettings.leo, but nothing that need bother the user. 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 leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.