comparison man/xresources.texi @ 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 d3fa4a52d032
comparison
equal deleted inserted replaced
60974:3b3a70819e4b 60975:c7c6caacbc9e
610 @} 610 @}
611 611
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"
622 @end smallexample 622 @end smallexample
623 623