On Sat, 8 Jul 2017 08:46:07 -0500 "Edward K. Ream" <edream...@gmail.com> wrote:
> 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. I don't think there's much complication there, qt-gui-user-style-sheet is just appended to qt-gui-plugin-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 ;-) I think the dereferencing system is not to messy, but there is some complication where the Ctrl-mousewheel font zooming hooks in. It's actually a generic system for dynamically updating stylesheet elements, I'd have to look at the code to remember more details, but please test that Ctrl-mousewheel font zooming doesn't get broken as that's an important accessibility feature I feel. Cheers -Terry > 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.
