From e1c67a6cb5ba78af5faf43b87c1869de5f3161b9 Mon Sep 17 00:00:00 2001 From: Hendrik Tews Date: Tue, 15 Jan 2013 14:40:18 +0000 Subject: - support bullets and braces in Prooftree - prooftree protocol change to version 3 --- generic/proof-shell.el | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'generic/proof-shell.el') 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) -- cgit v1.2.3