diff options
Diffstat (limited to 'generic/proof-shell.el')
-rw-r--r-- | generic/proof-shell.el | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/generic/proof-shell.el b/generic/proof-shell.el index c304f61d..cc7e56f8 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -1513,7 +1513,8 @@ After processing the current output, the last step undertaken by the filter is to send the next command from the queue." (let ((span (caar proof-action-list)) (cmd (nth 1 (car proof-action-list))) - (flags (nth 3 (car proof-action-list)))) + (flags (nth 3 (car proof-action-list))) + (old-proof-marker (marker-position proof-marker))) ;; A copy of the last message, verbatim, never modified. (setq proof-shell-last-output @@ -1532,7 +1533,7 @@ by the filter is to send the next command from the queue." (proof-shell-handle-delayed-output))) ;; send output to the proof tree visualizer (if proof-tree-external-display - (proof-tree-handle-delayed-output cmd flags span))))) + (proof-tree-handle-delayed-output old-proof-marker cmd flags span))))) (defsubst proof-shell-display-output-as-response (flags str) |