I needed to add some spaces between parts of a string. I added several, then wanted to undo just the last one. Instead, all of the added spaces were removed with a single <CTRL-z> command..
This behavior repeated several times. Leo 6.3-devel, devel branch, build b6c70a7c7e 2020-10-13 16:26:16 -0400 Python 3.8.5, PyQt version 5.15.1 -- 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/fbcfc53a-345a-4117-a22d-87f505f9881fo%40googlegroups.com.
