[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Indentation with spaces

From: goncholden
Subject: Re: Indentation with spaces
Date: Sat, 11 Jun 2022 01:05:34 +0000

------- Original Message -------
On Saturday, June 11th, 2022 at 12:57 PM, Po Lu <> wrote:

> goncholden writes:
> > They were introduced as a matter of convenience. This has
> > substantially changed with the introduction of proportional fonts.
> Who uses proportional fonts in code?

They have already started.  And there are also Elastic Tabstops. With no need 
to rely on manual alignment.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]