aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic/proof-toolbar.el
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-28 16:37:37 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-09-28 16:37:37 +0000
commit0c745889b8359fdf01e0e5c604e7e01b37bb2a8e (patch)
tree9d00cb981f9bca0d9d69fe54839ed069fb910e24 /generic/proof-toolbar.el
parentec9f0bab90f293359d3fc44e835d20d37eded836 (diff)
More reorganizing of menus and keybindings with aim of usability in mind.
Diffstat (limited to 'generic/proof-toolbar.el')
-rw-r--r--generic/proof-toolbar.el1
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!