I haven't really been aware of it. I'm always leery of forced or automatic formatting changes, so I like to be able to say when I want it to happen.
On Wednesday, November 15, 2023 at 8:14:24 AM UTC-5 Edward K. Ream wrote: > 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/8d7a8e95-7caf-4f7b-be53-85d0dcc995a8n%40googlegroups.com.
