diff options
| author |  Hendrik Tews <hendrik@askra.de> | 2013-01-15 14:40:18 +0000 |
|---|---|---|
| committer | Hendrik Tews <hendrik@askra.de> | 2013-01-15 14:40:18 +0000 |
| commit | e1c67a6cb5ba78af5faf43b87c1869de5f3161b9 (patch) | |
| tree | fda7893a1f89c9da4564598312664059473b75b8 /generic/proof-shell.el | |
| parent | e8afd3f63521dcf847b8b47fdffbcf65859acbde (diff) | |
- support bullets and braces in Prooftree
- prooftree protocol change to version 3
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) |