On Monday, April 14, 2025 at 7:11:01 AM UTC-5 Edward K. Ream wrote: > I see the problem you [Viktor] describe and have just created issue #4331 <https://github.com/leo-editor/leo-editor/issues/4331>.
PR #4332 <https://github.com/leo-editor/leo-editor/pull/4332> is ready for review. I have tested this PR with and without an enabled version of myLeoSettings. Please test and report any problems. 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/9a58fe1b-d437-4021-b1d5-c1ae6d77b8ddn%40googlegroups.com.
