external render_icon : [>`widget] obj -> string -> Gtk.Tags.icon_size -> string option -> GdkPixbuf.pixbuf = "ml_gtk_widget_render_icon"