I don't know if this is a bug or just the way PyQt works, but this is a very annoying problem. Sometimes HOME takes you to the end of line instead of the start. Sometimes select and Ctrl+C copies unselected characters. The "mistakes" are endless because the displayed cursor position is not "correct".
I first noticed this problem in 2022-02 because more and more articles posted on the Internet contain non-ASCII and everyday I copy many articles to node bodies and then edit them slightly.
2022-04-13 Wed I definitely identified the problem with the help of this command:
grep --color='auto' -P -n "[^\x00-\x7F]" x.txt
which I obtained from
https://stackoverflow.com/questions/3001177/how-do-i-grep-for-all-non-ascii-charactersHere is an example article containing many non-ASCII characters:
https://newsletter.pragmaticengineer.com/p/scoop-atlassianThere are many suggestions on the Internet for removing non-ASCII characters using Python. So far this is the best workaround that I've come up with. If we don't come with a fix or a better workaround, I'll eventually figure out how to replace non-ASCII charcters that have similar ASCII characters with the appropriate ASCII characters. Someone has probably implemented this, but so far I have not found it.
Unfortunately, I have higher priority problems right now that prevent me from devoting much time to this problem.
Versions tested:
Leo 6.6b2-devel, devel branch, build 0ce2fa9ad5
2022-02-24 09:55:29 -0600
Python 3.8.10, PyQt version 5.12.8
linux
---------------
Leo 6.6.1-devel, devel branch, build 90bad4f475
2022-04-13 09:33:47 -0500
Python 3.8.10, PyQt version 5.12.8