On Mon, Oct 9, 2023 at 1:40 PM Félix <felixgra...@gmail.com> wrote:
> Thanks, I'll have leojs mimic those changes. You're welcome. Thomas has many interesting comments on the PR. I'll work on them next. 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/CAMF8tS3xiGY2_8ZVNZ%2B2gzXihqX0Nby33wvO6SZ0-6O6ogc3Yw%40mail.gmail.com.