On Monday, March 27, 2023 at 6:33:12 AM UTC-5 Edward K. Ream wrote: PR #3224 <https://github.com/leo-editor/leo-editor/pull/3224> contains proposed changed to the mod_autosave plugin.
The new code has been merged into devel. This PR amounts to a complete rewrite of the plugin: - The plugin saves outlines to .bak files, thereby avoiding any undo issues. - The plugin does not change any part of Leo's UI, thereby avoiding any impact on normal editing. - A new setting controls whether the plugin writes log messages to the console. The plugin *never* writes messages to Leo's log pane. This plugin is useful enough that I have enabled it (for the first time). I'll let you know if I find any problems. 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/22b4d900-98f2-4c14-9e58-c7846140465an%40googlegroups.com.
