GNU bug report logs - #77439
[PATCH] Eglot: introduce eglot-show-diagnostics-source

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Nicolás Ojeda Bär <n.oje.bar <at> gmail.com>
Subject: bug#77439: closed (Re: bug#77439: [PATCH] Eglot: introduce
 eglot-show-diagnostics-source)
Date: Thu, 24 Apr 2025 08:09:02 +0000

[Message part 1 (text/plain, inline)]

Your bug report

#77439: [PATCH] Eglot: introduce eglot-show-diagnostics-source

which was filed against the emacs package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to 77439 <at> debbugs.gnu.org.

-- 
77439: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=77439
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Nicolás Ojeda Bär <n.oje.bar <at> gmail.com>
To: João Távora <joaotavora <at> gmail.com>
Cc: Spencer Baugh <sbaugh <at> janestreet.com>, Eli Zaretskii <eliz <at> gnu.org>,
 77439-done <at> debbugs.gnu.org
Subject: Re: bug#77439: [PATCH] Eglot: introduce eglot-show-diagnostics-source
Date: Thu, 24 Apr 2025 10:08:00 +0200

Closing bug.

Nicolas

[Message part 3 (message/rfc822, inline)]

From: Nicolás Ojeda Bär <n.oje.bar <at> gmail.com>
To: bug-gnu-emacs <at> gnu.org
Subject: [PATCH] Eglot: introduce eglot-show-diagnostics-source
Date: Tue, 01 Apr 2025 22:58:35 +0200

[Message part 4 (text/plain, inline)]

Tags: patch

Dear developers (Cc: João Távora),

This small patch introduces a new variable eglot-show-diagnostics-source
which controls whether Eglot prefixes every diagnostic with the name of
its source. When only one source is active, this information is not
useful and its repetition for every diagnostic wastes screen real
estate.

This addition has already been discussed (and accepted in principle) in
GitHub:

https://github.com/joaotavora/eglot/issues/1501

I tried to follow the existing conventions for the patch and its
documentation, but this is my first contribution to Emacs, so please do
not hesitate to point out if I missed anything.

I am looking forward to any feedback you may have on this patch. Thanks.

Cheers,
Nicolas

[0001-Eglot-introduce-eglot-show-diagnostics-source.patch (text/patch, attachment)]

Previous Next

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