From 2e11625031b7cf77ae9c14f815599c9003af8347 Mon Sep 17 00:00:00 2001 From: Calvin Beck Date: Mon, 12 Nov 2018 15:44:36 -0500 Subject: Remove code that hides mode-line. --- generic/proof-utils.el | 11 +---------- 1 file changed, 1 insertion(+), 10 deletions(-) diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 4a0ca857..b4e7e0d1 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -311,16 +311,7 @@ Ensure that point is visible in window." ;; inside shrink to fit, for some reason (when (window-live-p window) (unless (pos-visible-in-window-p (point) window) - (recenter -1)) - (with-current-buffer buffer - (if (window-bottom-p window) - (unless (local-variable-p 'mode-line-format) - ;; Don't show any mode line. - (set (make-local-variable 'mode-line-format) nil)) - (unless mode-line-format - ;; If the buffer gets displayed elsewhere, re-add - ;; the modeline. - (kill-local-variable 'mode-line-format)))))))))))) + (recenter -1)))))))))) (defun proof-clean-buffer (buffer) "Erase BUFFER and hide from display if ‘proof-delete-empty-windows’ set. -- cgit v1.2.3