diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2001-09-04 16:36:38 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-04 16:36:38 +0000 |
| commit | a39068100a0c8dcb331e6168cc7ffdd50bab161d (patch) | |
| tree | 43980e006ebe14cbf67cacd923517d6ba444c064 /generic | |
| parent | e4e9f4ffddd3d72899feef7c9400b5bd78704605 (diff) | |
Nested proof spans are duplicable
Diffstat (limited to 'generic')
| -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 |