On Mon, Mar 13, 2017 at 4:50 PM, Viktor Ransmayr <[email protected]> wrote:
> Hello Edward, > > Here are the results of my failed attempts to switch to the > 'windows-ekr-dark' theme: > I would summarize all this by saying that the "Theme 3, after restart" doesn't use dark color for Leo's outline pane, body pane, and some other areas. The likely cause of this are settings that override the theme settings. Without knowing what's in your copy of myLeoSettings.leo it is not easy to know exactly what is happening. I agree, that Leo's themes are not "encapsulated" enough to prevent such problems, but I am not going to delay Leo 5.5 to fix such things. That would be a major project. My suggestions to you: Always test stylesheets by restarting Leo. Make sure you have disabled @data qt-gui-user-style-sheet. If you are still having problems, load a *single* .leo file that *is not* myLeoSettings.leo or leoSettings.leo. Make sure that test file contains no new settings that affect Leo's appearance. do print-style-sheet from your test file. Find the incorrect entries in the style sheet. Now you have two choice. 1 (hard) You can deduce what settings are affecting those entries, and override those settings. 2 (easier) You can override those settings in a new @data qt-gui-*user* -style-sheet. Initially, you can override settings in your test file. When all is working as you desire, you can copy the settings to myLeoSettings.leo and *remove* the settings from your test file. If you then have *new* problems, you can be sure that there are conflicting settings in myLeoSettings.leo. HTH. 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.
