Seem fair enough, thanks. I can live with it now I know about the behaviour. I take on board the "It's harder than you might think..."
Regards, J^n On Monday, February 6, 2023 at 6:14:57 AM UTC Edward K. Ream wrote: > On Sun, Feb 5, 2023 at 3:01 PM jkn <jkn...@nicorp.f9.co.uk> wrote: > >> Can I raise this nit again? I just hit the (surprising, to me) behaviour, >> and tracked it to #721, which is currently marked as 'won't do'. >> > > I've just reopened #721 > <https://github.com/leo-editor/leo-editor/issues/721>, with a due date of > "Later". > > I'll consider a PR from you or Thomas. > > 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/023642c9-9a5a-48f6-befe-350d7dddd1d3n%40googlegroups.com.