external set_font : style -> Gdk.font -> unit = "ml_gtk_style_set_font"