From 1f71b01d4482c18f42118e85bd64b2ee8c89dd96 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 13 Sep 2000 15:39:56 +0000 Subject: Docstring changes for printed docs. --- generic/proof-config.el | 7 +++++-- 1 file 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-, - and (optionally) an enabler proof-toolbar--enable-p. +a function proof-toolbar-, and (optionally) an enabler +proof-toolbar--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 -- cgit v1.2.3