On Mon, Mar 5, 2018 at 12:46 PM, Terry Brown <terrynbr...@gmail.com> wrote:
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. > Lot's of settings still remain. The ones that I have removed would be difficult to explain. I'll go back and take another look. It might be possible to switch a solarized light theme to solarized dark just be switching 2 or 3 settings. The extra level of indirection won't add much more confusion because the solarized names are already confusing ;-) > 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. > I'm conflicted about this. In the present round of development avoiding indirection seemed to avoid confusion. I'll see what I think after more experimentation. And now is certainly the time for this--I am about to start work on Leo Solarized Light. 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. > I didn't know that. Happily, zoom-in/out still work, as does ctrl scroll wheel. In any case, the Font settings will never go away. They are the first things people want to change. 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 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.