On Tue, Dec 6, 2011 at 3:09 AM, Steven D'Aprano <steve+comp.lang.python at pearwood.info> wrote: > > Is there a way to erase the character other than backspacing, writing a > space, then backspacing again? That feels inelegant. Emitting "\b \b" is one very common way to do a destructive backspace. Inelegant? Perhaps, but a common inelegance. ChrisA