On Sat, Feb 18, 2023 at 11:17 AM Thomas Passin <tbp100...@gmail.com> wrote:
> 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 ... > I think it's essential to fix the issue. It's going to take some time and it's too late for the changes to appear in Leo 6.7.2. But feel free to experiment with a plugin. You never need my permission to do that :-) 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/CAMF8tS0dmc_90fO%2B-hHN2tDipQymGqa6L7Srucu3rhg_Ov04VA%40mail.gmail.com.
