On Thu, 27 Aug 2015 15:38:22 -0500
"'Terry Brown' via leo-editor" <[email protected]> wrote:
> c.styleSheetManager.get_master_widget(c.frame.top).styleSheet()
Just for completeness, c.config.getData('qt-gui-plugin-style-sheet')
wasn't a bad idea, but it would be something like
c.styleSheetManager.expand_css_constants(c.config.getData('qt-gui-plugin-style-sheet'))
+
c.styleSheetManager.expand_css_constants(c.config.getData('qt-gui-user-style-sheet'))
Definitely better to grab the existing one.
Cheers -Terry
--
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
