From e77966932d20d9cdebf4b14f23edb09b165f7266 Mon Sep 17 00:00:00 2001 From: Soonho Kong Date: Fri, 5 Sep 2014 12:46:42 -0700 Subject: [PATCH] feat(emacs/lean-server): scroll debug buffer --- src/emacs/lean-server.el | 9 ++++++--- 1 file changed, 6 insertions(+), 3 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index a59385c2e1..c89482ea97 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -47,9 +47,12 @@ (when lean-server-debug-mode (with-current-buffer (get-buffer-create lean-server-debug-buffer-name) - (goto-char (point-max)) - (insert (format-time-string "%H:%M:%S:%3N -- " (current-time))) - (insert (apply 'format (concat format-string "\n") args))))) + (save-selected-window + (ignore-errors + (select-window (get-buffer-window lean-server-debug-buffer-name t))) + (goto-char (point-max)) + (insert (format-time-string "%H:%M:%S:%3N -- " (current-time))) + (insert (apply 'format (concat format-string "\n") args)))))) ;; How to read data from an async process ;; ======================================