Unicode in name tabs saving issue

boxer-project / boxer-sunrise

Sunrise on the Boxer Reconstruction Project

BSD 3-Clause "New" or "Revised" License

39 stars 2 forks source link

Unicode in name tabs saving issue #52

Closed sgithens closed 1 year ago

sgithens commented 2 years ago

There is an intermittent problem with having a unicode ellipsis in a name tab occasionally turning in to an ampersand. In the image below, the top version is in a box that has been saved to disk and reloaded, with the ellipsis turned into the ampersand. Also, when pasting the ellipsis back in to the name tab, it sometimes gets pasted as the ampersand rather than ...

sgithens commented 1 year ago

This was fixed in 3.4.10 2022-07-11