diff options
Diffstat (limited to 'generic/proof-toolbar.el')
| -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 bea72456..27530c21 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -318,6 +318,7 @@ Move point if the end of the locked position is invisible." (defun proof-toolbar-retract-enable-p () (not (proof-locked-region-empty-p))) +;; FIXME: to become proof-retract-buffer (defun proof-toolbar-retract () "Retract entire buffer." ;; proof-retract-file might be better here! |