Author Martin Sekera
Recipients Martin Sekera, arigo, ezio.melotti, martin.panter, pitrou, r.david.murray
Date 2015-03-16.21:53:50
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <>
In the end it doesn't matter what characters end up on the terminal. What matters is the UX of not having to press backspace several times to unindent. That's sloppy design.

The issue of forcing a custom indent width on a user who might have their tab stops setup differently is another, albeit smaller, issue. I think the interpreter has absolutely no reason to do what's basically UI work (aligning tabbed text with tab-stop columns as in the first patch). That's the terminal's job.
Date User Action Args
2015-03-16 21:53:50Martin Sekerasetrecipients: + Martin Sekera, arigo, pitrou, ezio.melotti, r.david.murray, martin.panter
2015-03-16 21:53:50Martin Sekerasetmessageid: <>
2015-03-16 21:53:50Martin Sekeralinkissue23441 messages
2015-03-16 21:53:50Martin Sekeracreate