# HG changeset patch # User Juri Linkov # Date 1121703632 0 # Node ID 24be77ee0c97096a6c503de5b0bc7f916602c48e # Parent a6023efbb0beaa0cfcb653e2eaf648739b83c611 (GTK styles): Delete duplicate words. diff -r a6023efbb0be -r 24be77ee0c97 man/xresources.texi --- a/man/xresources.texi Mon Jul 18 16:19:22 2005 +0000 +++ b/man/xresources.texi Mon Jul 18 16:20:32 2005 +0000 @@ -932,7 +932,7 @@ text fields in the file dialog. @item font_name = "@var{font}" -This specifies the the font for text in the widget. @var{font} is a +This specifies the font for text in the widget. @var{font} is a Pango font name, for example @samp{Sans Italic 10}, @samp{Helvetica Bold 12}, @samp{Courier 14}, @samp{Times 18}. See below for exact syntax. The names are case insensitive.