On Tue, Jun 28, 2022 at 7:43 AM [email protected] <[email protected]> wrote:
> After I pushed my change to Github, Github recognized that I had made a > commit and offered to create a PR, which I accepted. So at that time > Github knew there had been a commit. I also see that the changes are in my > Github leo-editor repo, starting at line 1796 in qt_text.py. Thanks for these comments. Something strange is happening. I'll continue to investigate. 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/CAMF8tS3BzX%2BW3TD7Q%2BFxp_88MSTCX9Mmh4f8qs-juTJdtwQS3Q%40mail.gmail.com.
