diff options
| author | David Aspinall | 2000-09-13 15:39:56 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-09-13 15:39:56 +0000 |
| commit | 1f71b01d4482c18f42118e85bd64b2ee8c89dd96 (patch) | |
| tree | b3eb581ce54d1b16562f6f846d6cdd3926a0e791 /generic | |
| parent | 7ea02248b45af5316ef0318bb56c100fe98776ce (diff) | |
Docstring changes for printed docs.
Diffstat (limited to 'generic')
| -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 |