From 0c745889b8359fdf01e0e5c604e7e01b37bb2a8e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 28 Sep 1999 16:37:37 +0000
Subject: More reorganizing of menus and keybindings with aim of usability in
 mind.

---
 generic/proof-toolbar.el | 1 +
 1 file changed, 1 insertion(+)

(limited to 'generic/proof-toolbar.el')

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!
-- 
cgit v1.2.3