[slime-devel] [patch] kill compilation log with no notes

[Stanisław Halik]

Patch attached to kill compilation log when something is compiled and
there are no notes.

diff --git a/slime.el b/slime.el
index 4f5df2c..5561572 100644
--- a/slime.el
+++ b/slime.el
@@ -140,6 +140,13 @@ Return nil if the ChangeLog file cannot be found."
   :prefix "slime-"
   :group 'slime)
 
+(defcustom slime-kill-compilation-log-with-no-notes nil
+  "When a compilation log is already present and something is
+compiled and produces no notes and this variable is set to T,
+compilation log gets killed."
+  :type 'boolean
+  :group 'slime-ui)
+
 (defcustom slime-truncate-lines t
   "Set `truncate-lines' in popup buffers.
 This applies to buffers that present lines as rows of data, such as
@@ -2983,7 +2990,11 @@ Each newlines and following indentation is
replaced by a single space."
             (slime-make-note-overlay (first notes) start (1-
             (point))))))
       (compilation-mode)
       (set (make-local-variable 'compilation-skip-threshold) 0)
-      (setq next-error-last-buffer (current-buffer)))))
+      (setq next-error-last-buffer (current-buffer))
+      (when (and slime-kill-compilation-log-with-no-notes
+                 (zerop (length notes)))
+        (dolist (window (get-buffer-window-list (current-buffer) nil t))
+          (quit-window t window))))))
 
 (defun slime-insert-note-group (notes)
   "Insert a group of compiler messages."