--- a/man/widget.texi	Mon Aug 13 09:24:19 2007 +0200
+++ b/man/widget.texi	Mon Aug 13 09:25:29 2007 +0200
@@ -1,6 +1,6 @@
 \input texinfo.tex
 
-@c $Id: widget.texi,v 1.11 1997/04/05 18:08:23 steve Exp $
+@c $Id: widget.texi,v 1.12 1997/04/10 05:56:22 steve Exp $
 
 @c %**start of header
 @setfilename widget
@@ -15,7 +15,7 @@
 @comment  node-name,  next,  previous,  up
 @top The Emacs Widget Library
 
-Version: 1.69
+Version: 1.74
 
 @menu
 * Introduction::                
@@ -643,6 +643,18 @@
 property. The value should be a string, which will be inserted in the
 buffer. 
 
+The following extra properties are recognized.
+
+@table @code
+@item :text-format
+The format string used when the push button cannot be displayed
+graphically.  There are two escapes, @code{%s}, which must be present
+exactly once, will be substituted with the tag, and @code{%%} will be
+substituted with a singe @samp{%}.
+@end table
+
+By default the tag will be shown in brackets.
+
 @node editable-field, text, push-button, Basic Types
 @comment  node-name,  next,  previous,  up
 @subsection The @code{editable-field} Widget