diff options
| author | David Aspinall | 2011-06-03 22:13:41 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-06-03 22:13:41 +0000 |
| commit | fbac314fdc1307367f1c2f7b86a5b668a613aaa6 (patch) | |
| tree | 7e7bd9191e297beaa734708930a2846de6271e85 | |
| parent | 8ae8f403a1a62d353652d45a001c260f7e93a992 (diff) | |
proof-undo-and-delete-last-successful-command: obey spec (Trac #407)
| -rw-r--r-- | generic/pg-user.el | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/generic/pg-user.el b/generic/pg-user.el index de116198..02f76c27 100644 --- a/generic/pg-user.el +++ b/generic/pg-user.el @@ -1,3 +1,4 @@ + ;;; pg-user.el --- User level commands for Proof General ;; ;; Copyright (C) 2000-2010 LFCS Edinburgh. @@ -224,7 +225,7 @@ Notice that the deleted command is put into the Emacs kill ring, so you can use the usual `yank' and similar commands to retrieve the deleted text." (interactive) - (proof-undo-last-successful-command-1 'delete-region)) + (proof-undo-last-successful-command-1 'kill-region)) (defun proof-undo-last-successful-command-1 (&optional undo-action) "Undo last successful command at end of locked region. |