From a81f263bd1e279c229891f977746032f11055e37 Mon Sep 17 00:00:00 2001
From: Marc Coquand <marc@coquand.email>
Date: Mon, 2 Dec 2024 17:35:14 +0200
Subject: .

---
 home/dots/.emacs | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'home')

diff --git a/home/dots/.emacs b/home/dots/.emacs
index b9a1d2a..d01e85e 100644
--- a/home/dots/.emacs
+++ b/home/dots/.emacs
@@ -735,10 +735,12 @@
   :diminish eldoc-mode
   :init
   (defun kill-help-and-eldoc-buffers ()
-    "Removes the help window or eldoc window."
+    "Removes info windows."
     (interactive)
+    (kill-matching-buffers "^\\*compilation\\*" nil t)
     (kill-matching-buffers "^\\*Help\\*" nil t)
     (kill-matching-buffers "^\\*eldoc" nil t))
+  (global-eldoc-mode -1)
   :bind
   ("C-h ." . eldoc)
   ("C-h ," . kill-help-and-eldoc-buffers)
@@ -858,6 +860,8 @@
   :custom
   (setq jsonrpc-event-hook nil)
   :hook
+  (eglot-managed-mode . (lambda ()
+			  (eldoc-mode -1)))
   (css-mode . eglot-ensure)
   (html-mode . eglot-ensure)
   (javascript-mode . eglot-ensure)
-- 
cgit v1.2.3