I tested the latest tweak in another leo outline, with the *@string line-highlight-color *setting in myLeoSettings file and it worked fine. Nice work.
Lewis -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/4d8421fc-9f9b-4f43-a7e7-8dbe7e02432cn%40googlegroups.com.
