[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Indentation with spaces
From: |
goncholden |
Subject: |
Re: Indentation with spaces |
Date: |
Thu, 09 Jun 2022 13:49:10 +0000 |
------- Original Message -------
On Friday, June 10th, 2022 at 1:37 AM, goncholden <goncholden@protonmail.com>
wrote:
> ------- Original Message -------
> On Thursday, June 9th, 2022 at 9:51 PM, Skip Montanaro
> skip.montanaro@gmail.com wrote:
>
>
>
> > > > As for TAB not inserting a literal TAB character,
> > > > indentation is controlled by the major mode. I believe that
> > > > for ELisp, the default indentation is just two spaces.
> > > > (Don't quote me on that though.)
> > >
> > > Why is `indent-tabs-mode' t by default? Tabs should not
> > > be used.
> >
> > We say that today. I've been using some version of Emacs since the
> > early 1980s. Before the appearance of indentation-sensitive languages
> > like Python, inserting a literal TAB when the TAB key was pressed made
> > sense.
> >
> > I suspect it's a case of "old habits die hard."
>
>
> Quite right and unfortunate Skip.
Is there a way to show a symbol delineating the location and number of tabs?
- Re: Indentation with spaces, (continued)
- Re: Indentation with spaces, Skip Montanaro, 2022/06/09
- Re: Indentation with spaces, goncholden, 2022/06/09
- Re: Indentation with spaces, Lele Gaifax, 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, goncholden, 2022/06/10
- Re: Indentation with spaces, Christopher Dimech, 2022/06/11
- Re: Indentation with spaces, Emanuel Berg, 2022/06/11
- Re: Indentation with spaces, Christopher Dimech, 2022/06/11
- Re: Indentation with spaces, goncholden, 2022/06/09
- Re: Indentation with spaces,
goncholden <=
- Re: Indentation with spaces, tomas, 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, goncholden, 2022/06/10
- Re: Indentation with spaces, tomas, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10
- Re: Indentation with spaces, goncholden, 2022/06/10
- Re: Indentation with spaces, tomas, 2022/06/10
- Re: Indentation with spaces, Emanuel Berg, 2022/06/10