diff options
| author | Hendrik Tews | 2011-01-24 15:37:30 +0000 |
|---|---|---|
| committer | Hendrik Tews | 2011-01-24 15:37:30 +0000 |
| commit | 56f51a5e66c5b4f35837b7592b832f23b05c97e8 (patch) | |
| tree | 55f80389b1e4b658ca24b89579dc733251f9fb29 /generic/proof-script.el | |
| parent | fd226c8f0c56a2be6a751b421674e594d0a4b04a (diff) | |
- change 'span-delete-action in 'span-delete-actions, which is
now a list of functions to be run when the span is deleted. Use
span-add-delete-action to add a delete action.
Diffstat (limited to 'generic/proof-script.el')
| -rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 55a80d4a..bf4541bf 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -547,7 +547,7 @@ It is recorded in the span with the 'rawname property." (span-set-property span 'id idsym) (span-set-property span 'name name) (span-set-property span 'rawname rawname) - (span-set-property span 'span-delete-action delfn) + (span-add-delete-action span delfn) ;; Ideally: would keep invisible property to be the idiom type ;; (span-set-property span 'invisible idiom) |