PR #3654 <https://github.com/leo-editor/leo-editor/pull/3654> allows a significant performance to my workflow.
Without the *new --force option*, Leo's beautifier command only beautifies files that git marks as changed. In practice, *this speeds up beautification by at least 10x*. The PR also beautifies all of Leo's plugins. This should have been done ages ago. I'm wondering: does anyone besides myself use Leo's beautifier? 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/04216717-009d-45ad-907f-29c1b942b11dn%40googlegroups.com.
