This is just a heads up for those that might like to know, not integrated in terms of docs. / config. menus etc. yet.
6385 appends the content of @data qt-gui-user-style-sheet to @data qt-gui-plugin-style-sheet. This way you can put your personal UI tweaks in @data qt-gui-user-style-sheet and not have to worry about copying over changes in the @data qt-gui-plugin-style-sheet. This applies for the default and dark themes. For example I like to color some buttons differently to make them easy to see and tone down the loud arrows on calendar widgets in the dark theme. 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/groups/opt_out.
