It looks like all the work at rev f990eb0c277c5 in the settings branch has somehow vanished after innocuous merges of devel into settings.
In the settings branch, git shows the merge, but *doesn't* show that the any code has disappeared. But it has, as shown in Leo, and as shown by looking at leoConfig.py in scite. Happily, the code is still accessible in various ways. I'm investigating. 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/0b2bc568-7ba2-4a20-b81a-108c0110f89c%40googlegroups.com.
