>thank you for the PR Just to be clear: It's not my PR. The person who made that must've just seen widecharwidth and thought it was a potential solution. >do

>thank you for the PR Just to be clear: It's not my PR. The person who made that must've just seen widecharwidth and thought it was a potential solution. >do we then have to push a new Mosh release every time there's a Unicode update? In theory, yes. In practice the new codepoints take long enough to be available anywhere and there are few enough of them that being a bit out of date isn't a problem. (case in point widecharwidth is still on Unicode 12 apparently - I should update that) >user runs a script that prints every single Unicode character in their local terminal and learns its width And they would have to re-run that regularly, whenever the terminal updates or they switch. >user is responsible for distributing this data file to every server they feel like connecting to and putting it in some well-known location in their homedir. And they would have to do all that setup. That's a lot of annoyance to put on your users when you can solve 99% of the problem by just incorporating a semi-up-to-date width table yourself. The perfect is very much the enemy of the good here.