[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 <luangruo@yahoo.com> wrote:
> goncholden goncholden@protonmail.com 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.
- Re: Indentation with spaces, (continued)
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Po Lu, 2022/06/09
- Re: Indentation with spaces, goncholden, 2022/06/09
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces,
goncholden <=
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces, goncholden, 2022/06/11
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11
- Re: Indentation with spaces, goncholden, 2022/06/11
- Re: Indentation with spaces, Eli Zaretskii, 2022/06/11