On Mon, Nov 18, 2013 at 5:06 PM, Terry Brown <[email protected]> wrote:
> I can't reproduce that, starting with an empty $HOME/.leo and creating > mySettingsLeo.leo and copying in dark theme 0 and Ctrl-B on the "source > & stylesheet" node does not remove menu highlighting for me. Haven't > been able to test in Win 8. Well, I had also tinkered quite a bit with the settings before running the script. I don't remember exactly what parameters I changed, and what values I set, but I am positive that my changes were limited to colors and font sizes. > I think I need to spend more time weeding and less time on this email > thread :-) LOL. Think it this way: the more you simplify things, the less you will *need* to spend time on this thread, eventually, because fewer problems will arise (ideally). -- 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.
