GNU bug report logs - #62072
29.0.60; tree-sitter interferes with Custom

Previous Next

Full log

View this message in rfc822 format

From: Eli Zaretskii <eliz <at> gnu.org>
To: Po Lu <luangruo <at> yahoo.com>
Cc: 62072 <at> debbugs.gnu.org
Subject: bug#62072: 29.0.60; tree-sitter interferes with Custom
Date: Fri, 10 Mar 2023 14:40:24 +0200

> From: Po Lu <luangruo <at> yahoo.com>
> Cc: 62072 <at> debbugs.gnu.org
> Date: Fri, 10 Mar 2023 20:19:29 +0800
> 
> Eli Zaretskii <eliz <at> gnu.org> writes:
> 
> > Why is what?
> 
> I mean, why can't we wrap whatever in Custom is generating the warning
> inside `with-no-warnings' for now?

If you can suggest a patch which affects only the cases where these
options are evaluated as part of a large group, that's fine by me.
The problem is that we _do_ want the warning if the use customizes
specific options that require tree-sitter.  If Customize can
distinguish between those, I'm all for warning in one case, but not in
the other.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.