changeset 60975:c7c6caacbc9e

(GTK resources): Fix last change.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 26 Mar 2005 15:25:26 +0000
parents 3b3a70819e4b
children bf08ce2bfd72
files man/xresources.texi
diffstat 1 files changed, 4 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/man/xresources.texi	Sat Mar 26 14:53:42 2005 +0000
+++ b/man/xresources.texi	Sat Mar 26 15:25:26 2005 +0000
@@ -612,10 +612,10 @@
 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"