On Saturday, December 21, 2019 at 8:21:17 PM UTC-5, Edward K. Ream wrote: > Unless I hear a convincing reason why the [scripts_menu] plugin should exist, I am going to move it to the attic.
I have just created #1461 <https://github.com/leo-editor/leo-editor/issues/1461> for this. 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/7072e6c7-4750-4cac-a677-2392c52bfbe6%40googlegroups.com.
