On Tuesday, November 19, 2024 at 5:25:52 PM UTC-6 Edward K. Ream wrote: > In short, all the details seem settled!
I spoke way too soon. Both main options are still on the table. My uncertainty has *increased *after studying the three mode files: html.py, javascript.py and css.py. As a preliminary step, PR #4202 <https://github.com/leo-editor/leo-editor/pull/4202> refactors the mode files. I merged this PR early to reduce the diffs in later work. 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 visit https://groups.google.com/d/msgid/leo-editor/14f2fa5f-42a1-4942-8dfc-87b2184df508n%40googlegroups.com.
