On Thursday, September 11, 2014 9:23:51 AM UTC-5, Terry wrote: My idea is that users not need to touch Qt stylesheet syntax at all, > just edit simple settings, in the Leo @settings sense, along the lines > of what already happens in the dark theme and to some degree I can't > remember in the default theme. So there are settings like this: > > Settings for theme > colors > @color text-foreground = @solarized-base0 > @color text-background = @solarized-base03 > fonts > @string font-family = Droid Sans Mono, DejaVu Sans Mono > @string font-size-body = 20px >
This would be good. > There should be a hierarchical menu under the Settings menu to jump > people to the right place in this tree, not that it's hard to navigate. I'm neutral on this. That's all the user has to deal with. Excellent > Note there are also "font-picker" and "color-picker" buttons so you can > pick the values for those things > interactively. > Hah. I hadn't noticed them ;-) What exactly does the "pick font" button do? > > The template mechanism recompiles(*) and re-applies the stylesheet using > the values above every time you select "Reload Styles" from the > Settings menu (as long as you're viewing a settings file, typically > mySettings.leo. Restarting Leo not needed. > > The point of steps 1 and 2 is that it's non-Leonine to have the whole > stylesheet as one monolithic piece of text, it needs breaking up into > an outline for easier editing. Yes. > 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. 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. For more options, visit https://groups.google.com/d/optout.
