diff options
| -rw-r--r-- | generic/proof-script.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index e1285c2d..8f381e7c 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -503,6 +503,7 @@ Names must be unique for a given " (set-span-property span 'type 'proof) (set-span-property span 'idiom 'proof) (set-span-property span 'controlspan controlspan) + (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 |