external unhighlight : [>`widget] obj -> unit = "ml_gtk_drag_unhighlight"