On Sat, Jul 8, 2017 at 4:53 AM, vitalije <vitali...@gmail.com> wrote:
> It seems that at-font settings kind is replaced with other methods of > configuration. > This is complicated. Iirc, the complications stem, in part, from the theme machinery. @data qt-gui-plugin-style-sheet forms a "base" style, which the user can "override" with @data qt-gui-user-style-sheet. There is a substitution mechanism, somewhere, that replaces @ constants in these stylesheets with the proper values. I can provide more details if you like, but I would have to do the same searches that you would ;-) This is yet another case where trying to simplify the user's experience creates lots of complications behind the scenes. There used to be an issues called something like @color settings don't dereference, but I don't seem to be able to find it. 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.
