diff options
| author | Franck Cuny <franckcuny@gmail.com> | 2017-02-06 15:48:11 -0800 |
|---|---|---|
| committer | Franck Cuny <franckcuny@gmail.com> | 2017-02-06 15:48:11 -0800 |
| commit | 16aabdf5abb5f66655dd1a8615fbe75a99680c8c (patch) | |
| tree | f07d49f8a93dde8319921c7a9b65bab385a2184e | |
| parent | Try to do the right thing for the default-directory. (diff) | |
| download | pants.el-16aabdf5abb5f66655dd1a8615fbe75a99680c8c.tar.gz | |
Do not delete the window after successful command.
Instead of deleting the window, we want to restore the previous one, so we don't mess with the layout.
| -rw-r--r-- | pants.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pants.el b/pants.el index 0cb2fb2..e5e9cda 100644 --- a/pants.el +++ b/pants.el @@ -120,7 +120,7 @@ (zerop code) (and pants-bury-compilation-buffer t)) (bury-buffer (get-buffer *pants-compilation-buffer*)) - (delete-window (get-buffer-window (get-buffer *pants-compilation-buffer*)))) + (replace-buffer-in-windows (get-buffer *pants-compilation-buffer*))) (cons msg code)))) (defun pants--compile (command) |