[New email: I'm transitioning from my yahoo email to my gmail email, so this is the address I intend to use going forward.]
These are just tangential comments: - I think it's bad form for themes to use @data qt-gui-user-style-sheet, that should be solely for the use of the user. Sure the user can paste their stuff on the end, but shouldn't need to, themes should be more swappable than that. If themes want to build of the default style sheet they can either copy the whole thing, or we need a @data qt-gui-theme-style-sheet which is added to the default style-sheet. Or maybe some setting for a theme to indicate that it's entries should be appended to the default style sheet rather than replacing it. - Particularly in Ubunutu getting consistent theme appearance is tough, because it depends on the user's desktop settings. Are the using Gnome or KDE, what desktop theme are they using, etc. etc. Cheers -Terry On Thu, Mar 9, 2017 at 9:40 AM, Edward K. Ream <[email protected]> wrote: > On Thu, Mar 9, 2017 at 7:25 AM, lewis <[email protected]> wrote: > >> Using leo_dark theme 0, this is the console output from the >> 'print-style-sheet' command: >> > > Not sure this helps, because this is not the problem theme. > > Anyway, the ekr_dark theme is a special case because it only sets the user > stylesheet, > > @data qt-gui-user-style-sheet, not the main stylesheet, @data > qt-gui-plugin-style-sheet. > > I guess the thing to do is to use the main stylesheet, like all other > themes. I'll do this next. > > BTW, rev 16e8ab1 adds a comment to all theme style sheets so we can tell > where they came from. > > 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 https://groups.google.com/group/leo-editor. > For more options, visit https://groups.google.com/d/optout. > -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
