Widget not destroyed (webkit-gtk bindings)

Hi,

I've written webkit-gtk bindings and I'm now testing them. Right now
when I use #destroy, the "web_view" is not always destroyed.
I've seen C browsers using webkit-gtk just use gtk_widget_destroy().
Should I use something else than #destroy (web_view's are presented as
plain widgets) ?

The corresponding binding code is :

(* ml_gtkwebkit.c *)
ML_0 (webkit_web_view_new, Val_GtkWidget_sink)

(* gtkwebkit.ml *)
external webkit_web_view_new : unit -> web_view Gtk.obj
  = "ml_webkit_web_view_new"

(* gwebkit.ml *)
class web_view_skel obj = object (self)
  inherit GContainer.container obj
  ...
end

class web_view obj = object
  inherit web_view_skel (obj : Gtkwebkit.web_view obj)
  method connect = new web_view_signals obj
end

let web_view ?packing ?show () =
  let w = webkit_web_view_new () in
  pack_return (new web_view w) ~packing ~show


Thanks.


 ---

Adrien Nader