877 |
(select-window window) |
(select-window window) |
878 |
(enlarge-window (- compilation-window-height |
(enlarge-window (- compilation-window-height |
879 |
(window-height)))) |
(window-height)))) |
880 |
(select-window w)))))) |
;; The enlarge-window above may have deleted W, if |
881 |
|
;; compilation-window-height is large enough. |
882 |
|
(when (window-live-p w) |
883 |
|
(select-window w))))))) |
884 |
|
|
885 |
(defvar compilation-minor-mode-map |
(defvar compilation-minor-mode-map |
886 |
(let ((map (make-sparse-keymap))) |
(let ((map (make-sparse-keymap))) |