On Monday, July 13, 2020 at 4:41:04 AM UTC-5, Edward K. Ream wrote: *Serious bug: the wrong headline may change* > > I'm not sure how to reproduce this, but it happened several times so I > know it's real. It probably happened regardless of whether I used Ctrl-H to > edit a headline or whether I used a mouse click to initiate the edit. >
Hmm. I wonder if I was confused about what node was actually selected. This might have happened if I had left the mouse hovering over a node that wasn't c.p. Otoh, when editing a headline the text area at the top shows the old headline text, so one would think I would have noticed. I am going to reproduce the supposed bug now... 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/ecb86ba0-7672-4173-b6a0-6fda5a1e0ec4o%40googlegroups.com.
