Delivered-To: garrigue at math.nagoya-u.ac.jp Authentication-Results: mailhost.math.nagoya-u.ac.jp sender=lablgtk-bounces at yquem.inria.fr; domainkey=neutral (no query protocol specified; no policy for yquem.inria.fr) Delivered-To: lablgtk at yquem.inria.fr DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:in-reply-to:references :date:message-id:subject:from:to:content-type :content-transfer-encoding; bh=dS75F/Ak5RCgu7nYqElTDV+UEXlkqwcSHMXfkxqI9D8=; b=I2ONVzM77HWAodrQv5tiCV/BdVasxzdGY7KqIJkTS4VNWUTDPb4bsqZWuVTdXTdOVL +zF3abykE5yPKvZd5tghjSx1rvvu6HZyZuRJ7o6ZC8xv11Ouk7EDkvjzW8iCKxxVBdCu QaKTZlD9HO3GphQ6t2xKVxMrPn+c12rm6HhtE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :content-type:content-transfer-encoding; b=JSOE4MYSlJIdLEIku+n7u4lua1zCy0Kxk9LJVTm1R45ZiBTiKndH3bMQcLR/lyo7BR YJHqrzGd5kD+Cym5Hh8apNQjU+U+L/7J1C70D/uq1zruadCZF3Dd+SqgDPjPYQPoZJtm g2iAC0I51cQEAAiHs2YOwNJ0zdMhU7WLh6tjU= MIME-Version: 1.0 In-Reply-To: <666572260901220146p4b91f51ds42c15889c01045bc at mail.gmail.com> References: <666572260901220146p4b91f51ds42c15889c01045bc at mail.gmail.com> Date: Fri, 23 Jan 2009 11:45:29 +0100 Message-ID: <666572260901230245i605f28f2u4fb0f9714508fff5 at mail.gmail.com> Subject: Re: [Lablgtk] Widget not destroyed (webkit-gtk bindings) From: Adrien To: lablgtk Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Hi, I finally found the problem. I am now using Gc.full_major as Jacques Garrigues mentionned in an earlier answer. I had tried using it but had forgotten a reference to the view. I also had the following not-so-surprising problem which I failed to notice : in the following function, Gc.full_major will not finalize the view. let kill_view record_with_view_in_it = record_with_view_in_it.view#destroy; record_with_view_in_it.view <- Obj.magic 0; Gc.full_major () So I now call Gc.full_major in another function. --- Adrien Nader _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk