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.

1 files changed, 7 insertions, 3 deletions

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)