On Fri, Nov 2, 2007, Christoph Berg wrote: > Most often the terminal library is to blame for that, and/or a bad > interaction between $TERM and the terminal. Ah, thanks. That fixed it. -Ken