diff options
| author | David Aspinall | 1999-11-22 18:52:47 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-11-22 18:52:47 +0000 |
| commit | e4ce3196f9e265b43dc85e2b21097890ad7b152a (patch) | |
| tree | 340b5345b03e054cb0b45c6fc2afd32a63d77cf5 /generic | |
| parent | 943b92c15f616944b6b48e35fecf0fb31ce40c0e (diff) | |
proof-shell-done-invisible -> proof-done-invisible again
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-config.el | 6 | ||||
| -rw-r--r-- | generic/proof-shell.el | 10 |
2 files changed, 8 insertions, 8 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index e5bf8e52..36bac31f 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -1408,9 +1408,9 @@ a symbol, set to the callback command which is executed in the proof shell filter once `string' has been processed. The `action' variable suggests what class of command is about to be inserted: - 'proof-shell-done-invisible A non-scripting command - 'proof-done-advancing A \"forward\" scripting command - 'proof-done-retracting A \"backward\" scripting command + 'proof-done-invisible A non-scripting command + 'proof-done-advancing A \"forward\" scripting command + 'proof-done-retracting A \"backward\" scripting command Caveats: You should be very careful about setting this hook. Proof General relies on a careful synchronization with the process between diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c53a4d0f..9b2ecf0b 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1648,13 +1648,13 @@ in some cases. May be called by proof-shell-invisible-command." (sit-for 0))) -(defun proof-shell-done-invisible (span) +(defun proof-done-invisible (span) "Callback for proof-shell-invisible-command. Calls proof-state-change-hook." (run-hooks 'proof-state-change-hook)) ; new code to go in after 3.0 -;(defun proof-shell-done-invisible (&optional span) +;(defun proof-done-invisible (&optional span) ; "Callback for proof-shell-invisible-command. ;Calls proof-state-change-hook." ; (run-hooks 'proof-state-change-hook) @@ -1669,14 +1669,14 @@ Calls proof-state-change-hook." ; "Construct a value for `proof-shell-handle-error-or-interrupt-hook'. ;Give error message ERRORMSG, then remove self from queue." ; `(lambda () -; (proof-shell-done-invisible) +; (proof-done-invisible) ; (error ,(eval errormsg)))) ;(defmacro proof-shell-invisible-failure-fn (fn) ; "Construct a value for `proof-shell-handle-error-or-interrupt-hook'. ;Call function fn, then remove self from queue." ; `(lambda () -; (proof-shell-done-invisible) +; (proof-done-invisible) ; (,(eval fn)))) ; ; extra arg ERRORMSGFN to proof-shell-invisible-command: @@ -1701,7 +1701,7 @@ If WAIT is an integer, wait for that many seconds afterwards." (if (not (string-match proof-re-end-of-cmd cmd)) (setq cmd (concat cmd proof-terminal-string))) (proof-start-queue nil nil - (list (list nil cmd 'proof-shell-done-invisible))) + (list (list nil cmd 'proof-done-invisible))) (if wait (proof-shell-wait (if (numberp wait) wait)))) |