external modify_font : [>`widget] obj -> Pango.font_description -> unit = "ml_gtk_widget_modify_font"