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

Previous Next

Full log

View this message in rfc822 format

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

[Message part 1 (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.