From 19c3160837736bc96eb55e1e79516781e3534184 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 20 Dec 2016 21:27:29 +0100 Subject: properly reset the vio2vo delay timer cancel-timer does of course not set the variable that holds the timer to nil --- coq/coq-par-compile.el | 6 ++++-- coq/coq.el | 2 +- 2 files changed, 5 insertions(+), 3 deletions(-) diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index 6378f573..8901a008 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -775,7 +775,8 @@ and resets the internal state." (setq coq-par-vio2vo-queue (coq-par-new-queue)) (setq coq--compile-vio2vo-in-progress nil) (when coq--compile-vio2vo-delay-timer - (cancel-timer coq--compile-vio2vo-delay-timer)) + (cancel-timer coq--compile-vio2vo-delay-timer) + (setq coq--compile-vio2vo-delay-timer nil)) (coq-par-unlock-all-ancestors-on-error) (when proof-action-list (setq proof-shell-interrupt-pending t)) @@ -1927,7 +1928,8 @@ the maximal number of background compilation jobs is started." ;; notification (when (cdr splitted-items) (when coq--compile-vio2vo-delay-timer - (cancel-timer coq--compile-vio2vo-delay-timer)) + (cancel-timer coq--compile-vio2vo-delay-timer) + (setq coq--compile-vio2vo-delay-timer nil)) (when coq--compile-vio2vo-in-progress (assert (not coq--last-compilation-job) nil "normal compilation and vio2vo in parallel 2") diff --git a/coq/coq.el b/coq/coq.el index 07838f52..b41f477a 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -1871,7 +1871,7 @@ The not yet delayed output is in the region coq-proof-tree-additional-subgoal-ID-regexp end t) (let ((subgoal-id (match-string-no-properties 1))) (unless (gethash subgoal-id proof-tree-sequent-hash) - (message "CPTGNS new sequent %s found" subgoal-id) + ;; (message "CPTGNS new sequent %s found" subgoal-id) (setq proof-action-list (cons (proof-shell-action-list-item (coq-show-sequent-command subgoal-id) -- cgit v1.2.3