max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

feat(emacs/lean-server): reduce delays

Browse source
This commit is contained in:
Gabriel Ebner 2017-04-27 20:46:09 +02:00 • committed by Leonardo de Moura
parent 649d75961a
commit 40fc254760
1 changed files with 15 additions and 10 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -262,19 +262,24 @@
(lean-server-notify-tasks-changed sess nil)))
(defvar-local lean-server-flycheck-delay-timer nil)
(defvar-local lean-server-flycheck-delayed-update nil)
(defun lean-server-show-messages (&optional buf)
(with-current-buffer (or buf (current-buffer))
(save-match-data
(when (and (not (memq lean-server-flycheck-delay-timer timer-list))
(or (eq buf flycheck-error-list-source-buffer)
(get-buffer-window buf)))
(setq lean-server-flycheck-delay-timer
(run-at-time "200 milliseconds" nil
(lambda (buf)
(with-current-buffer buf
(flycheck-buffer)))
(current-buffer)))))))
(when (and (eq buf flycheck-error-list-source-buffer)
(get-buffer-window buf))
(if (memq lean-server-flycheck-delay-timer timer-list)
(setq lean-server-flycheck-delayed-update t) ; arm timer
(flycheck-buffer)
(setq lean-server-flycheck-delay-timer
(run-at-time "100 milliseconds" nil
(lambda (buf)
(with-current-buffer buf
(when lean-server-flycheck-delayed-update
(setq lean-server-flycheck-delayed-update nil)
(flycheck-buffer))))
(current-buffer))))))))
(defvar-local lean-server-show-tasks-delay-timer nil)
@ -361,7 +366,7 @@
(save-match-data
(when lean-server-sync-timer (cancel-timer lean-server-sync-timer))
(setq lean-server-sync-timer
(run-at-time "200 milliseconds" nil #'lean-server-sync (current-buffer)))))
(run-at-time "50 milliseconds" nil #'lean-server-sync (current-buffer)))))
(defun lean-server-compute-roi (sess)
(--mapcat (with-current-buffer it