DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma;
	h=mime-version:date:message-id:subject:from:to:content-type
	:content-transfer-encoding;
	b=WSP0geFke2E8VPNvj4293ot+kQE7yTrU4WKcA3Pxc25S/V7ceW9aCstGpX9K6XLJTq
	GaT1nTuO6Dzljw6Bx/+ms/HrTiwlVrssC6PJIC23UC4ESwoKEfFpJ+LapZSr9us2UZAH
	/kRiysh5kuippnk3JyObVa6dcB6bVEQrX7nWM=
MIME-Version: 1.0
Date: Thu, 22 Jan 2009 10:46:52 +0100
Message-ID: <666572260901220146p4b91f51ds42c15889c01045bc at mail.gmail.com>
Subject: [Lablgtk] Widget not destroyed (webkit-gtk bindings)
From: Adrien <camaradetux at gmail.com>
To: lablgtk <lablgtk at yquem.inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit

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

_______________________________________________
Lablgtk mailing list
Lablgtk@yquem.inria.fr
http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk