From 69f0d3045254aee0da865ca55d2c25429e89358e Mon Sep 17 00:00:00 2001 From: Gabriel Ebner Date: Fri, 24 Mar 2017 09:29:06 +0100 Subject: [PATCH] fix(emacs/lean-server): update roi when user changes checking mode --- src/emacs/lean-server.el | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/emacs/lean-server.el b/src/emacs/lean-server.el index aeb62fb5ec..c11c216856 100644 --- a/src/emacs/lean-server.el +++ b/src/emacs/lean-server.el @@ -399,11 +399,11 @@ (and (lean-server-roi-subset-p new-roi old-roi) (lean-server-roi-subset-p old-roi (lean-server-roi-extend new-roi 10)))) -(defun lean-server-sync-roi () +(defun lean-server-sync-roi (&optional force) (when lean-server-session (let ((old-roi (lean-server-session-current-roi lean-server-session)) (new-roi (lean-server-compute-roi lean-server-session))) - (when (or (eq old-roi 'not-yet-sent) (not (lean-server-roi-ok old-roi new-roi))) + (when (or force (eq old-roi 'not-yet-sent) (not (lean-server-roi-ok old-roi new-roi))) (lean-server-session-send-roi lean-server-session (lean-server-roi-extend new-roi 5)))))) @@ -415,7 +415,7 @@ (defun lean-set-check-mode (mode) (setq lean-server-check-mode mode) - (lean-server-sync-roi)) + (lean-server-sync-roi t)) (defun lean-check-nothing () "Check nothing"