From 2db26fbfa3571f054953b785dd634d1da0664ecd Mon Sep 17 00:00:00 2001 From: Pierre Courtieu Date: Thu, 8 Jun 2017 15:00:31 +0200 Subject: Fixing a bug with Set/Unset commands due to recent commits. The "Show" inserted now and then would hide the result of Set/Unset commands. --- coq/coq.el | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'coq/coq.el') diff --git a/coq/coq.el b/coq/coq.el index 5a24dbb1..aff05d28 100644 --- a/coq/coq.el +++ b/coq/coq.el @@ -957,13 +957,17 @@ does not trigger 'proof-shell-empty-action (which dos \"Shwo\" at the time of writing this documentation)." (let* ((postform (if (eq postformatcmd nil) 'identity postformatcmd)) (flag-is-on (and testcmd (coq-flag-is-on-p testcmd)))) + ;; We put 'empty-action-list tags on all three commands since we don't want + ;; to trigger "Show" or anything that we usually insert after a group of + ;; commands. (unless flag-is-on (proof-shell-invisible-command - (format " %s . " (funcall postform setcmd)) 'wait)) + (format " %s . " (funcall postform setcmd)) + nil nil 'no-response-display 'empty-action-list)) (proof-shell-invisible-command - (format " %s . " (funcall postform cmd)) 'wait) + (format " %s . " (funcall postform cmd)) 'wait nil 'empty-action-list) (unless flag-is-on (proof-shell-invisible-command (format " %s . " (funcall postform unsetcmd)) - 'waitforit nil 'empty-action-list)))) + 'waitforit nil 'no-response-display 'empty-action-list)))) (defun coq-ask-do-set-unset (ask do setcmd unsetcmd &optional dontguess postformatcmd tescmd) -- cgit v1.2.3