From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: Eli Zaretskii Newsgroups: gmane.emacs.bugs Subject: bug#66706: [PATCH] Automatic elisp dialect insertion Date: Wed, 25 Oct 2023 05:31:23 +0300 Message-ID: <83v8avjuv8.fsf@gnu.org> References: <17C83052-7946-45DE-B660-DA7EB82001B0@gmail.com> <83sf61mb54.fsf@gnu.org> <98CD592C-0E82-4795-8168-2B5E597FF7A7@gmail.com> <8334xzlvy9.fsf@gnu.org> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="2713"; mail-complaints-to="usenet@ciao.gmane.io" Cc: mattias.engdegard@gmail.com, 66706@debbugs.gnu.org, monnier@iro.umontreal.ca To: Stefan Kangas Original-X-From: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Wed Oct 25 04:31:55 2023 Return-path: Envelope-to: geb-bug-gnu-emacs@m.gmane-mx.org Original-Received: from lists.gnu.org ([209.51.188.17]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1qvTgY-0000Ys-P2 for geb-bug-gnu-emacs@m.gmane-mx.org; Wed, 25 Oct 2023 04:31:54 +0200 Original-Received: from localhost ([::1] helo=lists1p.gnu.org) by lists.gnu.org with esmtp (Exim 4.90_1) (envelope-from ) id 1qvTgK-0005OM-EH; Tue, 24 Oct 2023 22:31:43 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]) by lists.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qvTgD-0005OA-O8 for bug-gnu-emacs@gnu.org; Tue, 24 Oct 2023 22:31:33 -0400 Original-Received: from debbugs.gnu.org ([2001:470:142:5::43]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_128_GCM_SHA256:128) (Exim 4.90_1) (envelope-from ) id 1qvTgC-0004uo-Ix for bug-gnu-emacs@gnu.org; Tue, 24 Oct 2023 22:31:32 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1qvTgg-0007km-Ez for bug-gnu-emacs@gnu.org; Tue, 24 Oct 2023 22:32:02 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Eli Zaretskii Original-Sender: "Debbugs-submit" Resent-CC: bug-gnu-emacs@gnu.org Resent-Date: Wed, 25 Oct 2023 02:32:02 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 66706 X-GNU-PR-Package: emacs X-GNU-PR-Keywords: patch Original-Received: via spool by 66706-submit@debbugs.gnu.org id=B66706.169820111329788 (code B ref 66706); Wed, 25 Oct 2023 02:32:02 +0000 Original-Received: (at 66706) by debbugs.gnu.org; 25 Oct 2023 02:31:53 +0000 Original-Received: from localhost ([127.0.0.1]:56998 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qvTgX-0007kO-G1 for submit@debbugs.gnu.org; Tue, 24 Oct 2023 22:31:53 -0400 Original-Received: from eggs.gnu.org ([2001:470:142:3::10]:46388) by debbugs.gnu.org with esmtp (Exim 4.84_2) (envelope-from ) id 1qvTgV-0007kA-Sh for 66706@debbugs.gnu.org; Tue, 24 Oct 2023 22:31:52 -0400 Original-Received: from fencepost.gnu.org ([2001:470:142:3::e]) by eggs.gnu.org with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.90_1) (envelope-from ) id 1qvTfw-0004u1-LG; Tue, 24 Oct 2023 22:31:16 -0400 DKIM-Signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=gnu.org; s=fencepost-gnu-org; h=MIME-version:References:Subject:In-Reply-To:To:From: Date; bh=GK1VpHVVvJ5sAW1vQT+93oZJ9aYoVICZr2fNh7PG/7k=; b=e/ZtB9XmLAIoiVortNps zTTDqQzToRnVkxTD9WksrvenYhlmuM7wTEgADbZzcdOdtQ+bq0hlm2gRuv4OcWGiCRJzJQJvnBPy4 WUyt7dioL1EgYkq5ryVitdvLohCLwz+eS20BzBKuMXUiSCp3iQzwv8elx/HVmF2bCzQC09xAtwn+5 737+tPwB4jitF6dfmrH/GuyHlyX5lCUUSIrul+k7q934cffFX2da/STBTsYYuI0aLdVg4/NI3by8Y dMU/vKSxCHuvoAh75wVKwgb2TGMW2XBM0puSmoe0ETggox/H/zGf0rv0BAA7GwcRs7/Nbo2XJjgQu pdwwyQol2KadJg==; In-Reply-To: (message from Stefan Kangas on Tue, 24 Oct 2023 13:22:03 -0700) X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.18 Precedence: list X-BeenThere: bug-gnu-emacs@gnu.org List-Id: "Bug reports for GNU Emacs, the Swiss army knife of text editors" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Original-Sender: bug-gnu-emacs-bounces+geb-bug-gnu-emacs=m.gmane-mx.org@gnu.org Xref: news.gmane.io gmane.emacs.bugs:273139 Archived-At: > From: Stefan Kangas > Date: Tue, 24 Oct 2023 13:22:03 -0700 > Cc: Mattias Engdegård , > 66706@debbugs.gnu.org > > Stefan Monnier 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. We should also ask ourselves if this is not "too much". I think it is, since a clear indication of dynamic binding, with a face that makes it stand out, already exists on the mode line. I think this is enough. It is not Emacs's business to force users into something they don't want to do. Emacs never did that, and should not do that in the future.