> > Thanks Matt, that looks useful. I will have a go at a Linux version... >
That would be cool. I've pushed it the Leo-editor-contrib <https://github.com/leo-editor/leo-editor-contrib> repo under Projects/scripts <https://github.com/leo-editor/leo-editor-contrib/tree/master/Projects/scripts> from *Scripts.leo* in parent folder. -matt -- 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/eb38839d-f4ca-47a4-af82-d9d735562acd%40googlegroups.com.
