On Mon, Jun 15, 2015 at 4:54 PM, 'Terry Brown' via leo-editor There's also the search path described in > > leo-editor/leo/core/LeoPyRef.leo#Code-->Qt gui-->@file > ../plugins/qt_gui.py-->class > LeoQtGui(leoGui.LeoGui)-->LeoQtGui.Icons-->LeoQtGui.getImageImage >
Thanks for this! I knew about this, but I hadn't understood its significance until just now. It avoids having to compose, say, os.path.join(aBase,aPath) where aBase and aPath supposedly come from settings. This composition probably can't be done with the @constant machinery in the StyleSheetManager class. BTW, ssm.get_style_sheet_from_settings *extends *the default @data qt-plugin stylesheet with the qt-user-plugin stylesheet. Iirc, we discussed this, and it means user stylesheet settings typically override default stylesheet settings, which is what I want, or so I say now. My plan is to provide one or more *monolithic *themes, and a single *mix-and-match* theme that can be composed from various much smaller "parts" (settings). The default leoSettings.leo will have the Theme tree @ignored, and ditto for the various individual themes under the main Theme tree. To enable any theme, the user would do the following: - Add @ignore to a Non-Themed settings node. - Remove the @ignore from the main Theme node. - Remove the @ignore from exactly one node under the main Theme node. I hope to have a working example soon. The big advantage of this approach is that almost everything happens in the standard, fully-parameterized, @data qt-gui-plugin-style-sheet node. That is, the node doesn't change, only the corresponding @constants. There will be no need for developers, or anyone else, to run scripts that create themes. Settings will do everything. However, some themes will have to add a few lines to @data qt-gui-user-plugin-style-sheet. That's all for now. I'll say more when things settle down. EKR -- 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.
