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.
