PR #3424 <https://github.com/leo-editor/leo-editor/pull/3424> contains *small* tweaks to Leo's code.
Retiring the two settings discussed in this post <https://groups.google.com/g/leo-editor/c/B60igzHpwDA/m/CM6xkSX1AgAJ> would be a much bigger change. If Thomas agrees to the change I'll create a separate PR. 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/62cc179b-1827-4fe6-ae6e-47f51348510an%40googlegroups.com.
