Terry, I have just started testing your latest commit. I ran the Reload Styles command in the menu without problems, and the UI appearance changed a bit, signifying that some of the modified settings have taken effect. Still I can't say much about the new functionality, I need time to tinker with the settings and run it again, probably over the weekend. However one (minor) thing that I have already noticed is that the menu entries are no longer highlighted when the mouse hovers over them. This is a problem which had already occurred a few months ago, and which you then fixed. I'll let you know when I have experimented a little more. Thanks for your help.
-- 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.
