Source position: gtkwidget.inc line 461
procedure gtk_widget_modify_font(
widget: PGtkWidget;
font_desc: PPangoFontDescription
);