From 0d884890e6c75cf93e3f647bf40d399345088c71 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 8 Aug 2002 09:56:10 +0000
Subject: Prevent proof spans being duplicated.

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 56df3624..75381b38 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -503,6 +503,8 @@ NAME does not need to be unique."
     (set-span-property span 'name name)
     (set-span-property span 'span-delete-action delfn)
     (set-span-property span 'invisible visname)
+    ;; Bad behaviour if span gets copied: unique ID shouldn't be duplicated.
+    (set-span-property span 'duplicable nil)
     ;; Nice behaviour in with isearch: open invisible regions temporarily.
     (set-span-property span 'isearch-open-invisible 
 		       'pg-open-invisible-span)
@@ -585,7 +587,6 @@ NAME does not need to be unique."
   (set-span-property span 'controlspan controlspan)
   (set-span-property controlspan 'children
     (cons span (span-property controlspan 'children)))
-  (set-span-property span 'duplicable t)
   ;; (set-span-property span 'context-menu (pg-proof-element-menu name))
   (pg-set-span-helphighlights span 'nohighlight)
   (if proof-disappearing-proofs 
-- 
cgit v1.2.3