OK, I'll give that branch a try. I think I was confused because the comments on #1240 did not seem to indicate recent substantive work (ie. in a none-devel branch).
Thanks, Jon On Thursday, December 10, 2020 at 9:40:09 PM UTC Edward K. Ream wrote: > On Thu, Dec 10, 2020 at 2:08 PM jkn <[email protected]> wrote: > >> Hi Edward >> your explanation of the difference between #1240 and #1771 does, >> thanks. I think my issue is unrelated to any recent insights re. git >> branches etc. >> >> I have tried the smallest example I could to illustrate what behaviour I >> see, and hope for. This is on: >> >> Leo 6.4-devel, devel branch, build 30ca7ea314 >> 2020-12-05 09:26:07 -0600 >> Python 3.6.9, PyQt version 5.9.5 >> linux >> > > The ekr-change branch contains the work. See PR #1771 > <https://github.com/leo-editor/leo-editor/pull/1771>. I'll merge the > branch into devel later today or tomorrow. > > 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 on the web visit https://groups.google.com/d/msgid/leo-editor/ab5afab8-7097-4efd-89c6-fb79c575b0f9n%40googlegroups.com.
