On 2011-12-05, Chris Angelico <[email protected]> wrote:
> On Tue, Dec 6, 2011 at 3:09 AM, Steven D'Aprano
><[email protected]> 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.
That's pretty much the only way I've seen it done for the past 25
years.
What would be more elegant?
--
Grant Edwards grant.b.edwards Yow! This PIZZA symbolizes
at my COMPLETE EMOTIONAL
gmail.com RECOVERY!!
--
http://mail.python.org/mailman/listinfo/python-list
