On Jun 16, 2007, at 7:00 AM, Dedeco wrote: > ... > I have been using gnome-terminal for a while, and today I tried to > find 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 am > surprised 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/ _______________________________________________ Usability mailing list [email protected] http://mail.gnome.org/mailman/listinfo/usability
