On Wednesday, September 13, 2023 at 5:29:14 PM UTC-5 nic cave-lynch wrote:
Subject says it all, really. I have just created #3601 <https://github.com/leo-editor/leo-editor/issues/3601>. The issue just bit me as I was testing PR #3597 <https://github.com/leo-editor/leo-editor/pull/3597>. This was good luck. The PR defines two helper functions that should help solve the problem. Plus I know how to test any proposed fix ;-) 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/6d250ac7-7393-4bef-8847-57b40be82c30n%40googlegroups.com.