gtkWidgetModifyFont: gtkWidgetModifyFont
Description
Sets the font to use for a widget. All other style values are left
untouched. See also gtkWidgetModifyStyle.Usage
gtkWidgetModifyFont(object, font.desc = NULL)
Arguments
font.desc
the font description to use, or NULL to undo
the effect of previous calls to gtkWidgetModifyFont. [ allow-none ]