diff options
| author | David Aspinall | 1998-10-12 15:54:15 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-10-12 15:54:15 +0000 |
| commit | ed1c99a83ed25319055d355079de1f84ed9d6d0a (patch) | |
| tree | a64c2235beaf94b9ce117ae7ad6fd9c993ea4b91 | |
| parent | 7ae642f20e2c0656444bf116202f7b5f1d2bca94 (diff) | |
Made toolbar functions interactive, needed by old XEmacs.
| -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)))) |