Hi Jacques,

I'll try to package your branch in a `lablgtk3` opam package, and see if I can run some tests. Thanks for the port!

Louis Gesbert — OCamlPro

> - Jacques Garrigue, 06/12/2018 15:33 -
> Dear LablGtk users,
> 
> Due to the planned deprecation of gtksourceview2 in Debian,
> we have been working on a stripped down port of LablGtk2 to Gtk-3.
> 
> A first beta is available for download at the usual location:
> 	http://lablgtk.forge.ocamlcore.org
> 	https://forge.ocamlcore.org/frs/download.php/1769/lablgtk-3.0.beta1.tar.gz
> 
> There is no opam package yet, because I’m not sure how to do that:
> I seem to need to add a new conf-gtksourceview3 package too, and I’m not
> sure how to proceed. Help accepted.
> 
> Note that this is not the originally planned introspection based port, but
> a manual port of lablgtk2, dropping widgets that are no longer
> available. It is of course possible to add new widgets if people
> are willing to contribute.
> 
> The main goal is to allow application using lablgtksourceview,
> such as CoqIDE, to compile on top of Gtk-3. Since Gtk-2 itself
> stays available, lablgtk2 will continue to be supported for other
> applications.
> 
> The code is in the lablgtk3 branch:
> 	https://github.com/garrigue/lablgtk/tree/lablgtk3
> There is an ongoing discussion
> 	https://github.com/garrigue/lablgtk/issues/2
> 
> The current status is that a modified version of CoqIDE compiles
> and runs.
> 
> Please report issues on GitHub.
> 
> Jacques Garrigue
> 
>