diff options
author | 1999-09-28 16:37:37 +0000 | |
---|---|---|
committer | 1999-09-28 16:37:37 +0000 | |
commit | 0c745889b8359fdf01e0e5c604e7e01b37bb2a8e (patch) | |
tree | 9d00cb981f9bca0d9d69fe54839ed069fb910e24 /generic/proof-toolbar.el | |
parent | ec9f0bab90f293359d3fc44e835d20d37eded836 (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.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! |