From 0406469199a6f2a16b1cb213ecfe13f06f714aea Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 9 Nov 1999 18:55:54 +0000
Subject: Generic support for x-symbol tuned up.

---
 generic/proof-toolbar.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'generic/proof-toolbar.el')

diff --git a/generic/proof-toolbar.el b/generic/proof-toolbar.el
index e154e73e..963f3da8 100644
--- a/generic/proof-toolbar.el
+++ b/generic/proof-toolbar.el
@@ -216,7 +216,7 @@ to the default toolbar."
 	(setq proof-toolbar-itimer nil))))
 
 (defun proof-toolbar-toggle (&optional force-on)
-  "Toggle display of Proof General toolbar."
+  "Toggle display of Proof General toolbar.  With optional ARG, force on."
   (interactive "P")
   (setq proof-toolbar-inhibit
        (or force-on (not proof-toolbar-inhibit)))
-- 
cgit v1.2.3