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

feat(emacs/lean-server): add 'SLEEP ms' for trace

Browse source
This commit is contained in:
Soonho Kong 2014-08-30 07:51:53 -07:00
parent ad1111cb21
commit a47dada27f
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -32,6 +32,10 @@
(with-current-buffer
(get-buffer-create lean-server-trace-buffer-name)
(goto-char (point-max))
(when lean-global-server-last-time-sent
(let ((time-diff (- (float-time) lean-global-server-last-time-sent)))
(insert (format "SLEEP %i\n" (* 1000 time-diff)))))
(setq lean-global-server-last-time-sent (float-time))
(insert (apply 'format format-string args))))
;; How to read data from an async process
@ -99,6 +103,7 @@
(setq lean-global-server-buffer nil)
(setq lean-global-server-current-file-name nil)
(setq lean-global-server-message-to-process nil)
(setq lean-global-server-last-time-sent nil)
(when (timerp lean-global-nay-retry-timer)
(cancel-timer lean-global-nay-retry-timer))
(setq lean-global-nay-retry-timer nil))

3
src/emacs/lean-variable.el
View file

@ -24,6 +24,9 @@ where TYPE := INFO | SET | EVAL | ERROR,
(defvar lean-global-server-current-file-name nil
"Current filename that lean server is processing")
(defvar lean-global-server-last-time-sent nil
"Last time lean-mode sent a command to lean-server")
(defvar lean-global-nay-retry-timer nil
"Timer used to re-try eldoc-documentation-function for NAY.")