diff options
| author | Juri Linkov | 2005-07-18 16:20:32 +0000 |
|---|---|---|
| committer | Juri Linkov | 2005-07-18 16:20:32 +0000 |
| commit | 81c4529228324efa2c0cb8adbaca132f034932f1 (patch) | |
| tree | 4338c471e2efcb79015f528dc4c183fb79ce7dbc | |
| parent | ff495696d6323fb04787adf9df643636f2658ee0 (diff) | |
| download | emacs-81c4529228324efa2c0cb8adbaca132f034932f1.tar.gz emacs-81c4529228324efa2c0cb8adbaca132f034932f1.zip | |
(GTK styles): Delete duplicate words.
| -rw-r--r-- | man/xresources.texi | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/man/xresources.texi b/man/xresources.texi index b5090afd260..7f7d9aaf82c 100644 --- a/man/xresources.texi +++ b/man/xresources.texi | |||
| @@ -932,7 +932,7 @@ This is the color for editable text. In Emacs, this color is used for the | |||
| 932 | text fields in the file dialog. | 932 | text fields in the file dialog. |
| 933 | 933 | ||
| 934 | @item font_name = "@var{font}" | 934 | @item font_name = "@var{font}" |
| 935 | This specifies the the font for text in the widget. @var{font} is a | 935 | This specifies the font for text in the widget. @var{font} is a |
| 936 | Pango font name, for example @samp{Sans Italic 10}, @samp{Helvetica | 936 | Pango font name, for example @samp{Sans Italic 10}, @samp{Helvetica |
| 937 | Bold 12}, @samp{Courier 14}, @samp{Times 18}. See below for exact | 937 | Bold 12}, @samp{Courier 14}, @samp{Times 18}. See below for exact |
| 938 | syntax. The names are case insensitive. | 938 | syntax. The names are case insensitive. |