diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-toolbar.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index de867fc5..1303bd4b 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -214,6 +214,7 @@ without giving error messages." (defun proof-toolbar-undo () "Undo last successful in locked region, without deleting it." + (interactive) (if (proof-toolbar-undo-enable-p) (save-excursion (proof-undo-last-successful-command t)))) |