michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

feat(emacs/lean-server): scroll debug buffer

Browse source
This commit is contained in:
Soonho Kong 2014-09-05 12:46:42 -07:00
parent 02d72e4c40
commit e77966932d
1 changed files with 6 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
src/emacs/lean-server.el
View file

@ -47,9 +47,12 @@
(when lean-server-debug-mode (when lean-server-debug-mode
(with-current-buffer (with-current-buffer
(get-buffer-create lean-server-debug-buffer-name) (get-buffer-create lean-server-debug-buffer-name)
(goto-char (point-max)) (save-selected-window
(insert (format-time-string "%H:%M:%S:%3N -- " (current-time))) (ignore-errors
(insert (apply 'format (concat format-string "\n") args))))) (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 ;; How to read data from an async process
;; ====================================== ;; ======================================