From 2d21bf9ea1a15f45cdb156d8a53afada93845bfe Mon Sep 17 00:00:00 2001 From: Eli Zaretskii Date: Sat, 26 Mar 2005 15:25:26 +0000 Subject: [PATCH] (GTK resources): Fix last change. --- man/xresources.texi | 8 ++++---- 1 file 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" widget "*verticalScrollBar*" style "scroll" @end smallexample - There are also parameters that affect GTK as a whole. For example, the property -@c @code{gtk-font-name} sets the default font for GTK. You must use -@c Pango font names (@pxref{GTK styles}). A GTK resources file that -@c just sets a default font looks like this: + There are also parameters that affect GTK as a whole. For example, +the property @code{gtk-font-name} sets the default font for GTK. You +must use Pango font names (@pxref{GTK styles}). A GTK resources file +that just sets a default font looks like this: @smallexample gtk-font-name = "courier 12" -- 2.39.2