diff options
| -rw-r--r-- | generic/proof-toolbar.el | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el index c3d38850..4599d6ce 100644 --- a/generic/proof-toolbar.el +++ b/generic/proof-toolbar.el @@ -36,7 +36,12 @@ descriptor. The default value proof-toolbar-default-button-list will work for any proof assistant.") (defvar proof-toolbar nil - "Proof mode toolbar. Set in proof-toolbar-setup.") + "Proof mode toolbar button list. Set in proof-toolbar-setup.") + +;; FIXME: edit-toolbar cannot edit proof toolbar (even in a proof mode) +;; Need a variable containing a specifier or similar. +; (defvar proof-toolbar-specifier nil +; "Specifier for proof toolbar.") (defun proof-toolbar-setup () "Initialize proof-toolbar and enable it for the current buffer. |