From 40aba9efe1f037abe9f8e31361865959647df8fe Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 1 Jul 2002 00:30:12 +0000
Subject: proof-restart: also remove idiom internal spans.

---
 generic/proof-script.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 003ceab4..8d4c6ba6 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2256,7 +2256,8 @@ will deactivated."
 	   (with-current-buffer buffer
 	     (if proof-active-buffer-fake-minor-mode
 		 (setq proof-active-buffer-fake-minor-mode nil))
-	     (delete-spans (point-min) (point-max) 'type) ;; remove spans
+	     (delete-spans (point-min) (point-max) 'type) ; remove top-level spans
+	     (delete-spans (point-min) (point-max) 'idiom) ; and embedded spans
 	     (setq pg-script-portions nil)		  ;; also the record of them
 	     (proof-detach-segments buffer)		  ;; detach queue and locked 
 	     (proof-init-segmentation)))
-- 
cgit v1.2.3