external set_default_icon : colormap:Gdk.colormap -> Gdk.pixmap -> ?mask:Gdk.bitmap -> hot_x:int -> hot_y:int -> unit = "ml_gtk_drag_set_default_icon"