From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 323547FD65 for ; Thu, 3 Dec 2015 21:52:32 +0100 (CET) IronPort-PHdr: 9a23:PRnmpxSrNJEiVBTil+Yeg1N6Ytpsv+yvbD5Q0YIujvd0So/mwa64bBON2/xhgRfzUJnB7Loc0qyN4/6mATRIyK3CmU5BWaQEbwUCh8QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnYsExnyfTB4Ov7yUtaLyZ/niabqo9X6WEZhunmUWftKNhK4rAHc5IE9oLBJDeIP8CbPuWZCYO9MxGlldhq5lhf44dqsrtY4q3wD89pozcNLUL37cqIkVvQYSW1+ayFmrPHs4DDPVwqC4DM6W2kbiFIcCgTf7Rz8dpH2rii8sfByjm3SNsTzSfUwWC++x6ZtUh7hzikdZBAj92SCqsF2gLhao1qLoBt6i9rUbYeZLvt9Vr/aZdQbA3JGWd8XXCtEVNDvJ7ATBvYMaL4L57L2oEED+F7nXVGh Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=hendrik@topoi.pooq.com; spf=None smtp.mailfrom=hendrik@topoi.pooq.com; spf=None smtp.helo=postmaster@april.topoi.pooq.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=pra; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of hendrik@topoi.pooq.com) identity=mailfrom; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="hendrik@topoi.pooq.com"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@april.topoi.pooq.com) identity=helo; client-ip=69.165.131.134; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="hendrik@topoi.pooq.com"; x-sender="postmaster@april.topoi.pooq.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0AkCwCPqmBW/4aDpUVeFoN3SAEljRiyJiGFbQKCChABAQEBAQEBAYEJgi2CCAEBBDo/EAsYCSUPBRgxAYhBDcF2AQEBAQEFAQEBAQEei1GCcYU1gRUFjh+IQoUtiAYJXX5JlleDcjgrhCIgNIVvAQEB X-IPAS-Result: A0AkCwCPqmBW/4aDpUVeFoN3SAEljRiyJiGFbQKCChABAQEBAQEBAYEJgi2CCAEBBDo/EAsYCSUPBRgxAYhBDcF2AQEBAQEFAQEBAQEei1GCcYU1gRUFjh+IQoUtiAYJXX5JlleDcjgrhCIgNIVvAQEB X-IronPort-AV: E=Sophos;i="5.20,378,1444687200"; d="scan'208";a="156103275" Received: from topoi.pooq.com (HELO april.topoi.pooq.com) ([69.165.131.134]) by mail3-smtp-sop.national.inria.fr with ESMTP; 03 Dec 2015 21:52:30 +0100 Received: by april.topoi.pooq.com (Postfix, from userid 1001) id BF9AE1A072A; Thu, 3 Dec 2015 15:52:28 -0500 (EST) Date: Thu, 3 Dec 2015 15:52:28 -0500 From: Hendrik Boom To: Adrien Nader , caml-list@inria.fr Cc: Hendrik Boom Message-ID: <20151203205228.GB7390@topoi.pooq.com> References: <20150917102718.Horde.e0qQZzgq3rVrjG81WbumTBv@webmail.in-berlin.de> <20151203011510.GA21969@topoi.pooq.com> <20151203201435.GA10777@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <20151203201435.GA10777@notk.org> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] LablGtk-documentation... On Thu, Dec 03, 2015 at 09:14:35PM +0100, Adrien Nader wrote: > Hi, > > For the C API, you should probably just load > https://developer.gnome.org/gtk2/stable/ and keep it around: the > documentation tends to not "regress" and it's often useful to have the > most recent one so that you can see that an API that you might need is > available in a newer version. > > As you've probably seen, the C API links are file:/// URIs. This means > they're neither wrong nor right: it depends on the machine used to > display the documentation. I cannot tell what is the major on-disk path > for that documentation. For some people it would be solved by installing > the corresponding distribution package. > > You can definitely argue that the links should point to gnome.org or > gtk.org but the issue remains: they point to an external resource which > is free to change. In any case, I agree that this should be fixed but I > don't have a definitive answer about how. > > I'm partly to blame because I had started with lablgtk but subsequently > mostly gave up on GTK+ (not lablgtk) and therefore don't practice it. > Technically-speaking, I could fix it but I wouldn't be dog-feeding it, > making changes risky. Anyway, if you're interested in contributing, your > involvement will be welcome and I'll make my best to help you with that > (off-list preferably for simplicity matters). It would seem that https://developer.gnome.org/gtk2/stable/ would be the definitive link to the C API, which together with the lablgtk source code would provide strong clues. There shoud also be a tutorial by SooHyoung Oh somewhere. Links on the web point to http://plus.kaist.ac.kr/~shoh/ocaml/lablgtk2/lablgtk2-tutorial/ and to http://plus.kaist.ac.kr/~shoh/ocaml/lablgtk2/treeview-tutorial/ neither of which seem to exist. It would be useful to locate a copy. -- hendrik > > -- > Adrien Nader