On Aug 4, 2026, at 6:57 AM, Edward K. Ream <edre...@gmail.com> wrote:
Working on PR #4841 has convinced me that the todo plugin should be retired. At the very least, it must not be enabled by default. It is way too complex and serves no obvious purpose.If you do use this plugin, please tell us why and how.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+...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/leo-editor/7c085034-1790-4f41-a162-a0347d0efdcan%40googlegroups.com.
I use it to apply progress icons to nodes as a to-do list. I don’t use any of its other features, though.