On Sat, Nov 02, 2002 at 11:11:25 -0500, Alan Shutko wrote: > terminal-coding-system is only output. You want to use > set-keyboard-coding-system.
The problem is that the output (currently ISO-8859-1) doesn't match the input (currently UTF-8). How can I fix that? -- Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> - 100% validated (X)HTML - Acorn Risc PC, Yellow Pig 17, Championnat International des Jeux Math�matiques et Logiques, TETRHEX, etc. Work: CR INRIA - computer arithmetic / SPACES project at LORIA -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]

