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 (domain does not match address; no policy for yquem.inria.fr) Delivered-To: lablgtk at yquem.inria.fr DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=math.nagoya-u.ac.jp; h= date:message-id:to:subject:from:mime-version:content-type: content-transfer-encoding; s=alpha; bh=ihjpndAJ2LYsBdp3MZL30r4Sk l8=; b=n8xv4Q1+DAAkkjcqR11hKat//d1N3+yN8uuAnE9Ig6zY5jo8lHDtwZ2Hi UkClF0DtvZxUd0fGoAQ+w90+3JwoIc9jkVq42U2UF52u6t9EOcjd0bXhDJ5hu5nP sgcxzJAzGqaTu1FYWUHUz18tJ5TiYhVpcuI7XP09xCShkj2PwA= DomainKey-Signature: a=rsa-sha1; h=Received:Date:Message-Id:To:Subject:From:X-Mailer:Mime-Version:Content-Type:Content-Transfer-Encoding; b=vmRAxvZ2snvp3H+CZERIyATXGGbGeE+3ViKTa9GyIwtj4KZR/7Bc9ytTzXneqRbhEOIL40AZSTGf5sWh0NryNOeZsugwl3Q3lLxgVRIzpvNMuZzX0vnAyh/7WxwpTlaB2UShTctPLfsMtyh68ym7xzJ5fOiLhctDnE5vRFOZdGo=; c=nofws; d=math.nagoya-u.ac.jp; q=dns; s=alpha Date: Sat, 26 Jun 2010 15:39:58 +0900 (JST) Message-Id: <20100626.153958.246507698.garrigue at math.nagoya-u.ac.jp> To: lablgtk at yquem.inria.fr From: Jacques Garrigue Mime-Version: 1.0 Content-Type: Text/Plain; charset=us-ascii Content-Transfer-Encoding: 7bit Subject: [Lablgtk] New lablgtk2 snapshot 20100626 Dear Lablgtk users, Due to the correction of a very old bug in ocaml 3.12, released versions of lablgtk2 do not compile anymore. This snapshot fixes the problem, and some minor others. You can find it at: http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html Here are the changes since 2.14.1: 2010.06.25 [Jacques] * remove gtkInit.cmo from gdk_pixbuf_mlsource, no need to initialize Gtk as Gobject is sufficient * protect GtkThread callbacks against exceptions, and provide a function to process messages inside a different main loop. * add -nothinit option to lablgtk2, since Quartz cannot run the main loop in a different thread (one should just call GtkThread.main). See dialog-thread.ml for an example. 2010.06.08 [Jacques] * correct interfaces due to the fixing of an unsoundness bug in ocaml 3.12 (cf. http://caml.inria.fr/mantis/view.php?id=4824) --------------------------------------------------------------------------- Jacques Garrigue Nagoya University garrigue at math.nagoya-u.ac.jp JG _______________________________________________ Lablgtk mailing list Lablgtk@yquem.inria.fr http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk