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