diff options
author | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-06-08 15:00:31 +0200 |
---|---|---|
committer | Pierre Courtieu <Pierre.Courtieu@cnam.fr> | 2017-06-08 15:00:31 +0200 |
commit | 2db26fbfa3571f054953b785dd634d1da0664ecd (patch) | |
tree | d6296fdfd53b7299c2314a58e3e06bdf24f3c204 | |
parent | 2e22e81302a81fd5c1583a6edad179551805dc29 (diff) |
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.
-rw-r--r-- | coq/coq.el | 10 |
1 files changed, 7 insertions, 3 deletions
@@ -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) |