On Jun 16, 2007, at 7:00 AM, Dedeco wrote:
... I have been using gnome-terminal for a while, and today I tried tofind a way to change the default character encoding the terminal uses. I tried to do it before, but didn't make as much effort as today. I amsurprised I can't find the way to do this, since I think this is a very natural feature for a terminal. ...
This seems like a bug in gnome-terminal, rather than something the usability@ list would have anything in particular to do with. You should report it as a bug if it's not reported already.
Cheers -- Matthew Paul Thomas http://mpt.net.nz/