external set_icon_widget : Gdk.drag_context -> [>`widget] obj -> hot_x:int -> hot_y:int -> unit = "ml_gtk_drag_set_icon_widget"