937 |
(select-window window) |
(select-window window) |
938 |
(enlarge-window (- compilation-window-height |
(enlarge-window (- compilation-window-height |
939 |
(window-height)))) |
(window-height)))) |
940 |
(select-window w)))))) |
;; The enlarge-window above may have deleted W, if |
941 |
|
;; compilation-window-height is large enough. |
942 |
|
(when (window-live-p w) |
943 |
|
(select-window w))))))) |
944 |
|
|
945 |
(defvar compilation-minor-mode-map |
(defvar compilation-minor-mode-map |
946 |
(let ((map (make-sparse-keymap))) |
(let ((map (make-sparse-keymap))) |