diff options
| author | Eli Zaretskii | 2005-03-26 15:25:26 +0000 |
|---|---|---|
| committer | Eli Zaretskii | 2005-03-26 15:25:26 +0000 |
| commit | 2d21bf9ea1a15f45cdb156d8a53afada93845bfe (patch) | |
| tree | 27ae2656cb1467db8ca675640dfa76dd0eaa2b69 | |
| parent | 0e76e1ea266d9f84717b7fc98c7c9a24da26017e (diff) | |
| download | emacs-2d21bf9ea1a15f45cdb156d8a53afada93845bfe.tar.gz emacs-2d21bf9ea1a15f45cdb156d8a53afada93845bfe.zip | |
(GTK resources): Fix last change.
| -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" |