[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Spaces rather than tabs by a major mode hook
From: |
goncholden |
Subject: |
Re: Spaces rather than tabs by a major mode hook |
Date: |
Sat, 11 Jun 2022 00:05:25 +0000 |
------- Original Message -------
On Saturday, June 11th, 2022 at 11:17 AM, Emanuel Berg <incal@dataswamp.org>
wrote:
> Yuri Khan wrote:
>
> > Major modes where spaces or tabs are syntactically
> > significant, such as makefile-mode and python-mode, already
> > override indent-tabs-mode.
Have found that fortran-mode suffers from problems for legacy code programming
styles.
> > Set indent-tabs-mode for your global preference. Deal with
> > exceptions on a case-by-case basis, when and if you
> > encounter them.
That would require quite an effort for a user to set up. It is better for
Emacs to have the functionality available and let the user select them on or
off.
> Newlines are also syntactically significant here and there and
> it's a slanting plane:
>
> #! /bin/zsh
> #
> # this file:
> # https://dataswamp.org/~incal/conf/.zsh/music
>
> play-music () {
> clear
> local dir=~/mm/m
>
> mpv \
> --no-resume-playback \
> --shuffle \
> --vo=null \
> --volume=37 \
> ${dir}/**/*.(mkv|mp4|webm)(N)
> }
>
> --
> underground experts united
> https://dataswamp.org/~incal
- Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Yuri Khan, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Yuri Khan, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Yuri Khan, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Emanuel Berg, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook,
goncholden <=
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/11
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- RE: [External] : Re: Spaces rather than tabs by a major mode hook, Drew Adams, 2022/06/09
- RE: [External] : Re: Spaces rather than tabs by a major mode hook, Drew Adams, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Tassilo Horn, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Tassilo Horn, 2022/06/09
- Re: Spaces rather than tabs by a major mode hook, Eli Zaretskii, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, goncholden, 2022/06/10
- Re: Spaces rather than tabs by a major mode hook, Po Lu, 2022/06/10