On Thu, Apr 11, 2013 at 05:00:00PM +0100, Nick wrote: > Best to figure out what is more correct, do that, and patch any > applications that do things the wrong way.
I guess other terminals manage this okay, in spite of their faults, why not check to see what they are doing?