diff options
| -rw-r--r-- | generic/proof-config.el | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/generic/proof-config.el b/generic/proof-config.el index d341667b..5dc0dbab 100644 --- a/generic/proof-config.el +++ b/generic/proof-config.el @@ -716,10 +716,13 @@ defining functions, images.") (defpgcustom toolbar-entries proof-toolbar-entries-default "List of entries for Proof General toolbar and Scripting menu. Format of each entry is (TOKEN MENUNAME TOOLTIP ENABLER-P). + For each TOKEN, we expect an icon with base filename TOKEN, - a function proof-toolbar-<TOKEN>, - and (optionally) an enabler proof-toolbar-<TOKEN>-enable-p. +a function proof-toolbar-<TOKEN>, and (optionally) an enabler +proof-toolbar-<TOKEN>-enable-p. + If MENUNAME is nil, item will not appear on the scripting menu. + If TOOLTIP is nil, item will not appear on the toolbar. The default value is `proof-toolbar-entries-default' which contains |