gtk_widget_modify_font -> gtk_widget_override_font