On Thursday, October 21, 2021 at 9:42:16 PM UTC-5 Edward K. Ream wrote: > See PR #2280 <https://github.com/leo-editor/leo-editor/pull/2280>, which > contains the docstring. >
*Note*: there is no need to enable this plugin. The plugin exists only to support scripts. 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b7219f04-c99c-4915-bcb4-704950bd3412n%40googlegroups.com.