diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:25:01 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-12-16 18:25:01 +0000 |
| commit | c1ad8c03a5f2cd1b199257813d778707e233f335 (patch) | |
| tree | e5f9fa000e588d7081e8dac36394868dba65c099 | |
| parent | a89ec35e4d846480a5e2c35748bb9fb7577aa5bb (diff) | |
Reverted to previous semantics
| -rw-r--r-- | generic/proof-script.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 2530e1b1..4e6cb042 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -1178,18 +1178,18 @@ UNCLOSED-COMMENT-FUN." If DELETE argument is set (called with a prefix argument), the text is also deleted from the proof script." (interactive "P") - (proof-undo-last-successful-command delete)) + (proof-undo-last-successful-command (not delete))) -(defun proof-undo-last-successful-command (&optional delete) +(defun proof-undo-last-successful-command (&optional no-delete) "Undo last successful command at end of locked region. -If optional DELETE argument is set, the text is also deleted -from the proof script." +Unless optional NO-DELETE is set, the text is also deleted from +the proof script." (unless (proof-locked-region-empty-p) (let ((lastspan (span-at-before (proof-locked-end) 'type))) (if lastspan (progn (goto-char (span-start lastspan)) - (proof-retract-until-point delete)) + (proof-retract-until-point (not no-delete))) (error "Nothing to undo!"))))) |