[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#66706: [PATCH] Automatic elisp dialect insertion
From: |
Stefan Kangas |
Subject: |
bug#66706: [PATCH] Automatic elisp dialect insertion |
Date: |
Tue, 24 Oct 2023 13:22:03 -0700 |
Stefan Monnier <monnier@iro.umontreal.ca> writes:
> That makes the patch completely useless. There's already an opt-in
> solution (via `auto-insert`), so I'd oppose this patch if it's OFF by
> default since it's just added complexity.
Indeed. I also can't see any downsides to making it non-optional.
I think we should mainly ask ourselves if this feature will help users.
In my opinion, the answer is clearly yes, in almost all cases. For the
rest, a very small minority indeed, the patch provides a user option.
- bug#66706: [PATCH] Automatic elisp dialect insertion, Mattias Engdegård, 2023/10/23
- bug#66706: [PATCH] Automatic elisp dialect insertion, Stefan Monnier, 2023/10/23
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/23
- bug#66706: [PATCH] Automatic elisp dialect insertion, Stefan Kangas, 2023/10/23
- bug#66706: [PATCH] Automatic elisp dialect insertion, Mattias Engdegård, 2023/10/23
- bug#66706: [PATCH] Automatic elisp dialect insertion, Mattias Engdegård, 2023/10/24
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/24
- bug#66706: [PATCH] Automatic elisp dialect insertion, Stefan Monnier, 2023/10/24
- bug#66706: [PATCH] Automatic elisp dialect insertion,
Stefan Kangas <=
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/24
- bug#66706: [PATCH] Automatic elisp dialect insertion, Stefan Monnier, 2023/10/25
- bug#66706: [PATCH] Automatic elisp dialect insertion, Stefan Kangas, 2023/10/25
- bug#66706: [PATCH] Automatic elisp dialect insertion, Dmitry Gutov, 2023/10/25
- bug#66706: [PATCH] Automatic elisp dialect insertion, Michael Heerdegen, 2023/10/25
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/26
- bug#66706: [PATCH] Automatic elisp dialect insertion, Michael Heerdegen, 2023/10/26
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/27
- bug#66706: [PATCH] Automatic elisp dialect insertion, Michael Heerdegen, 2023/10/27
- bug#66706: [PATCH] Automatic elisp dialect insertion, Eli Zaretskii, 2023/10/27