[slime-devel] [patch] kill compilation log with no notes
sthalik at test123.ltd.pl
Sun Aug 16 01:17:32 UTC 2009
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
@@ -140,6 +140,13 @@ Return nil if the ChangeLog file cannot be found."
+(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-
(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."
More information about the slime-devel