external get_current : unit -> widget obj= "ml_gtk_grab_get_current"