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 <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 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