The devel branch now contains PR #3390 <https://github.com/leo-editor/leo-editor/pull/3390>, the latest work on Leo's options code.
I've merged this branch early for several reasons: - Thomas has signed off on the code. - Because of the reorg, the diffs in the PR are almost useless. - New unit tests cover all the code. - We should all test the code asap. 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/d39448a5-d584-4b25-8d6a-cf5db35f3fc1n%40googlegroups.com.