diff options
| -rw-r--r-- | pants.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/pants.el b/pants.el index 548aa83..151b45f 100644 --- a/pants.el +++ b/pants.el @@ -118,8 +118,7 @@ (zerop code) (and pants-bury-compilation-buffer t) (get-buffer *pants-compilation-buffer*)) - (bury-buffer) - (delete-window (get-buffer-window (get-buffer *pants-compilation-buffer*)))) + (bury-buffer)) (cons msg code)))) (defun pants--compile (command) |