From what I can tell, zero-width tabs. Terrible script to write Python in... But fine for the compacted JavaScript sent by most servers.

On Mon, Feb 8, 2021, 2:07 AM Chris Angelico <rosuav@gmail.com> wrote:
On Mon, Feb 8, 2021 at 6:04 PM David Mertz <mertz@gnosis.cx> wrote:
>
> There's a reason that never in the last 3800 years since Proto-Sinaitic was the first human script to approximately represent phonemes, has text EVER been set at more than 80 characters as a widespread convention.
>

What did they use as a tab width though?

ChrisA
_______________________________________________
Python-ideas mailing list -- python-ideas@python.org
To unsubscribe send an email to python-ideas-leave@python.org
https://mail.python.org/mailman3/lists/python-ideas.python.org/
Message archived at https://mail.python.org/archives/list/python-ideas@python.org/message/2KGKLH54CIKZ2EB6ZDPIXJ745FZKW45C/
Code of Conduct: http://python.org/psf/codeofconduct/