[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:36:38 +0000 |
------- Original Message -------
On Saturday, June 11th, 2022 at 1:33 PM, goncholden <goncholden@protonmail.com>
wrote:
> ------- Original Message -------
> On Saturday, June 11th, 2022 at 1:17 PM, Po Lu luangruo@yahoo.com wrote:
>
>
>
> > goncholden goncholden@protonmail.com writes:
> >
> > > They have already started. And there are also Elastic Tabstops. With
> > > no need to rely on manual alignment.
> >
> > Then I guess they aren't popular enough for them to be a problem at
> > work.
>
>
> Right, they are very niche, but can see the potential. They can definitely
> enhance possibilities as has happened with tex if done with great thought.
I am aware than emacs had dabbled on proportional fonts but not for programming
though.
- Re: Indentation with spaces, (continued)
- 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, 2022/06/10
- Re: Indentation with spaces, Po Lu, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces,
goncholden <=
- 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
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11
- RE: [External] : Re: Indentation with spaces, goncholden, 2022/06/11
- RE: [External] : Re: Indentation with spaces, Drew Adams, 2022/06/11