Re: Future plans for lablgtk

Fabrice Le Fessant <[email protected]> Tue, 18 Jul 2017 07:03:36 +0000
Newsgroups gmane.comp.lang.ocaml.lib.gtk
Message-ID <CAHvkLrMYuQfg_wRUGNH6tpLbhO8NOCkOe1LoOWLjR==k486FTg@mail.gmail.com>
--===============6698046766663826148==
Content-Type: multipart/alternative; boundary="001a1142e360eb95b20554921d84"

--001a1142e360eb95b20554921d84
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

Le mar. 18 juil. 2017 =C3=A0 08:46, Jacques Garrigue <
[email protected]> a =C3=A9crit :

> Creating a new version is time consuming, and even harder now
> that there is no official OCaml on Windows distribution, and it=E2=80=99s=
 been
> a long time since the last

release.


Hi Jacques,

Have you tried the OPAM on windows repository by openfd ? It's supposed to
be used with Jonathan's installer, and it should actually work better than
previous builds for Windows. I would be interested to know, as we stopped
releasing ocpwin because of it !

Fabrice



>
> On Tue, Jul 18, 2017 at 12:22 AM, Hugo Herbelin <[email protected]>
> wrote:
> > Hi,
> >
> > From the point of view of Coq and of its lablgtk-based interface
> > CoqIDE, Lablgtk is crucial. It is great as it is and we would
> > similarly be happy with mainly maintenance and compatibility with the
> > latest version of OCaml.
> >
> > Best,
> >
> > Hugo Herbelin
> >
> > On Mon, Jul 17, 2017 at 04:12:52PM +0200, Adrien Nader wrote:
> >> Hi,
> >>
> >> Lablgtk has been dormant for quite some time now and I think it's wort=
h
> >> thinking a bit about its future.
> >>
> >> As far as I'm concerned, GTK+3 has completely killed my motivation: it
> >> changed many things, communicated poorly about them, was very clearly
> >> meant for GNOME and JS or Python bindings, changed API and behaviour
> >> regularly, ...
> >>
> >> In the future, the plan for GTK+ is to have a major release every 2 to=
 3
> >> years. Each would take around 18 months to stabilize. It would then be
> >> maintained until the following one becomes stable.
> >> GTK+ 4 development has started a few months ago and will probably be
> >> called stable in 6 to 12 months.
> >>
> >> I ask because I think it would be valuable to be able to mention a
> >> status and a plan for the future so that people know what to expect: n=
ew
> >> developments, maintenance-only, ...
> >>
> >> Best,
> >>
> >> --
> >> Adrien
> >> _______________________________________________
> >> Lablgtk-list mailing list
> >> [email protected]
> >> https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list
> > _______________________________________________
> > Lablgtk-list mailing list
> > [email protected]
> > https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list
> _______________________________________________
> Lablgtk-list mailing list
> [email protected]
> https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list
>

--001a1142e360eb95b20554921d84
Content-Type: text/html; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable

<div><br><div class=3D"gmail_quote"><div dir=3D"auto">Le=C2=A0mar. 18 juil.=
 2017 =C3=A0 08:46, Jacques Garrigue &lt;<a href=3D"mailto:[email protected]=
goya-u.ac.jp">[email protected]</a>&gt; a =C3=A9crit=C2=A0:</div=
><blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1=
px #ccc solid;padding-left:1ex">
Creating a new version is time consuming, and even harder now<br>
that there is no official OCaml on Windows distribution, and it=E2=80=99s b=
een<br>
a long time since the last</blockquote><blockquote class=3D"gmail_quote" st=
yle=3D"margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">relea=
se.</blockquote><div dir=3D"auto"><br></div><div dir=3D"auto">Hi Jacques,</=
div><div dir=3D"auto"><br></div><div dir=3D"auto">Have you tried the OPAM o=
n windows repository by openfd ? It&#39;s supposed to be used with Jonathan=
&#39;s installer, and it should actually work better than previous builds f=
or Windows. I would be interested to know, as we stopped releasing ocpwin b=
ecause of it !</div><div dir=3D"auto"><br></div><div dir=3D"auto">Fabrice=
=C2=A0</div><div dir=3D"auto"><br></div><div dir=3D"auto"><br></div><blockq=
uote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px #ccc =
solid;padding-left:1ex"><br>
<br>
On Tue, Jul 18, 2017 at 12:22 AM, Hugo Herbelin &lt;<a href=3D"mailto:Hugo.=
[email protected]" target=3D"_blank">[email protected]</a>&gt; wrote:<=
br>
&gt; Hi,<br>
&gt;<br>
&gt; From the point of view of Coq and of its lablgtk-based interface<br>
&gt; CoqIDE, Lablgtk is crucial. It is great as it is and we would<br>
&gt; similarly be happy with mainly maintenance and compatibility with the<=
br>
&gt; latest version of OCaml.<br>
&gt;<br>
&gt; Best,<br>
&gt;<br>
&gt; Hugo Herbelin<br>
&gt;<br>
&gt; On Mon, Jul 17, 2017 at 04:12:52PM +0200, Adrien Nader wrote:<br>
&gt;&gt; Hi,<br>
&gt;&gt;<br>
&gt;&gt; Lablgtk has been dormant for quite some time now and I think it&#3=
9;s worth<br>
&gt;&gt; thinking a bit about its future.<br>
&gt;&gt;<br>
&gt;&gt; As far as I&#39;m concerned, GTK+3 has completely killed my motiva=
tion: it<br>
&gt;&gt; changed many things, communicated poorly about them, was very clea=
rly<br>
&gt;&gt; meant for GNOME and JS or Python bindings, changed API and behavio=
ur<br>
&gt;&gt; regularly, ...<br>
&gt;&gt;<br>
&gt;&gt; In the future, the plan for GTK+ is to have a major release every =
2 to 3<br>
&gt;&gt; years. Each would take around 18 months to stabilize. It would the=
n be<br>
&gt;&gt; maintained until the following one becomes stable.<br>
&gt;&gt; GTK+ 4 development has started a few months ago and will probably =
be<br>
&gt;&gt; called stable in 6 to 12 months.<br>
&gt;&gt;<br>
&gt;&gt; I ask because I think it would be valuable to be able to mention a=
<br>
&gt;&gt; status and a plan for the future so that people know what to expec=
t: new<br>
&gt;&gt; developments, maintenance-only, ...<br>
&gt;&gt;<br>
&gt;&gt; Best,<br>
&gt;&gt;<br>
&gt;&gt; --<br>
&gt;&gt; Adrien<br>
&gt;&gt; _______________________________________________<br>
&gt;&gt; Lablgtk-list mailing list<br>
&gt;&gt; <a href=3D"mailto:[email protected]" target=
=3D"_blank">[email protected]</a><br>
&gt;&gt; <a href=3D"https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-li=
st" rel=3D"noreferrer" target=3D"_blank">https://lists.ocamlcore.org/cgi-bi=
n/listinfo/lablgtk-list</a><br>
&gt; _______________________________________________<br>
&gt; Lablgtk-list mailing list<br>
&gt; <a href=3D"mailto:[email protected]" target=3D"_b=
lank">[email protected]</a><br>
&gt; <a href=3D"https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list" =
rel=3D"noreferrer" target=3D"_blank">https://lists.ocamlcore.org/cgi-bin/li=
stinfo/lablgtk-list</a><br>
_______________________________________________<br>
Lablgtk-list mailing list<br>
<a href=3D"mailto:[email protected]" target=3D"_blank"=
>[email protected]</a><br>
<a href=3D"https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list" rel=
=3D"noreferrer" target=3D"_blank">https://lists.ocamlcore.org/cgi-bin/listi=
nfo/lablgtk-list</a><br>
</blockquote></div></div>

--001a1142e360eb95b20554921d84--

--===============6698046766663826148==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Lablgtk-list mailing list
[email protected]
https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list

--===============6698046766663826148==--