My script could easily be turned into a light-weight plugin, and it could use settings to change fonts, etc. as well as which kinds of nodes to act on, and be able to be turned on and off. Maybe this would be easier than straightening out the can of worms ...
On Saturday, February 18, 2023 at 11:45:05 AM UTC-5 Edward K. Ream wrote: > On Fri, Feb 17, 2023 at 5:00 PM Thomas Passin <[email protected]> wrote: > >> Here is a script so you can see if you like the effect of having a >> non-monospaced font for non-code bodies. > > > Thanks, Thomas, for this work. PR #3150 > <https://github.com/leo-editor/leo-editor/pull/3150> is still a work in > progress. It's kinda a can of worms. It might make it into the next > release, but it might not. > > 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/151b140f-ea5e-457c-b18c-50ba78e386b2n%40googlegroups.com.
