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