On Mon, 5 Mar 2018 12:25:08 -0600 "Edward K. Ream" <edream...@gmail.com> wrote:
> This will always be a judgement call. However, this question is > *almost* moot because in the new scheme my first stop is *always* the > relevant css node in the @data qt-gui-plugin-style-sheet tree. This > ends all confusion! I think it's only moot if we decide we don't want to allow users to adjust things via @settings, and that editing stylesheets is required for tweaking themes. Also, although I don't think we should demand that theme authors use a particular set of setting names, the more standardization there is in that area the more chance users will be able to tweak things like foreground color etc. etc. And of course very specific @setting names must be used for body font size, or the Ctrl-mousewheel / zoom-in / zoom-out commands will break. 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
