On Mon, 18 Nov 2013 06:39:07 -0600 "Edward K. Ream" <[email protected]> wrote:
> On Sun, Nov 17, 2013 at 3:09 PM, <[email protected]> wrote: > > > Help! I messed up my UI configuration (I know this would happen, sooner or > > later :) > > Under the "stylesheet and source" branch of myLeoSettings.leo, it says: > > > > # To generate the stylesheet @data from this source, > > # use `run-script` on this node. > > > > This happened to me too. I had to restore myLeoSettings from a backup. > > Terry, we've got to remove this advice. It tends to destroy > myLeoSettings.leo. Show me a reproducible problem :-} Jerry wasn't reporting complete settings carnage, as you reported the other day, just the re-appearance of a menu highlighting issue. I'll check that, although in Ubuntu with default settings and enabling the dark theme, I wasn't seeing the problem. 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.
