612 |
widget "*verticalScrollBar*" style "scroll" |
widget "*verticalScrollBar*" style "scroll" |
613 |
@end smallexample |
@end smallexample |
614 |
|
|
615 |
There are also parameters that affect GTK as a whole. For example, the property |
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 |
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 |
must use Pango font names (@pxref{GTK styles}). A GTK resources file |
618 |
@c just sets a default font looks like this: |
that just sets a default font looks like this: |
619 |
|
|
620 |
@smallexample |
@smallexample |
621 |
gtk-font-name = "courier 12" |
gtk-font-name = "courier 12" |