diff options
| -rw-r--r-- | man/xresources.texi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/man/xresources.texi b/man/xresources.texi index 3b55edfa5b3..c88ca6ad142 100644 --- a/man/xresources.texi +++ b/man/xresources.texi | |||
| @@ -612,10 +612,10 @@ style "scroll" | |||
| 612 | widget "*verticalScrollBar*" style "scroll" | 612 | widget "*verticalScrollBar*" style "scroll" |
| 613 | @end smallexample | 613 | @end smallexample |
| 614 | 614 | ||
| 615 | There are also parameters that affect GTK as a whole. For example, the property | 615 | There are also parameters that affect GTK as a whole. For example, |
| 616 | @c @code{gtk-font-name} sets the default font for GTK. You must use | 616 | the property @code{gtk-font-name} sets the default font for GTK. You |
| 617 | @c Pango font names (@pxref{GTK styles}). A GTK resources file that | 617 | must use Pango font names (@pxref{GTK styles}). A GTK resources file |
| 618 | @c just sets a default font looks like this: | 618 | that just sets a default font looks like this: |
| 619 | 619 | ||
| 620 | @smallexample | 620 | @smallexample |
| 621 | gtk-font-name = "courier 12" | 621 | gtk-font-name = "courier 12" |