[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Indentation with spaces
From: |
goncholden |
Subject: |
Re: Indentation with spaces |
Date: |
Fri, 10 Jun 2022 18:26:09 +0000 |
------- Original Message -------
On Friday, June 10th, 2022 at 11:35 PM, Po Lu <luangruo@yahoo.com> wrote:
> Emanuel Berg incal@dataswamp.org writes:
>
> > It's lame, inexact typewriter stuff. Try arrange output data
> > from some shell tool with tabs and see how robust it'll be.
>
>
> Where did I say people should use tabs to print data?
In principle that should work but because tab widths are not a consistent
measure directly related to spaces (although being defined that way), they
cannot be reliably relied upon.
They were introduced as a matter of convenience. This has substantially
changed with the introduction of proportional fonts.
> > As for source you can't align with any hope of precision since
> > some other dude will have another tab width setting, so then
> > he will arrange it the way he thinks it should look, and this
> > "change" to the source rings all the little bells and so
> > on ...
>
>
> We have a single tab width setting for all code. And it's very easy to
> put `tab-width' in the local variables section of a file.
- Re: Indentation with spaces, (continued)
- 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 <=
- 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, 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