I've never used them either. I don't really know how are expected to be use in practice. I'd say that if @ekr doesn't use them then they are not very practical, and deprecating them should be fine.
On Sunday, October 10, 2021 at 10:57:29 AM UTC-4 Edward K. Ream wrote: > I never use these commands, and I'm not sure they are ever useful. > > What do you think? > > 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/83d8ab1a-47bd-42ea-8fd4-ce9a2deb674dn%40googlegroups.com.
