Re: Future plans for lablgtk

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 worth
> 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: new
> developments, maintenance-only, ...
> 
> Best,
> 
> -- 
> Adrien
> _______________________________________________
> Lablgtk-list mailing list
> [email protected]
> https://lists.ocamlcore.org/cgi-bin/listinfo/lablgtk-list