Jacques Garrigue

What is the goal of this PR ? propcc.ml is a generated file; we do not want to edit it by hand. `Stream` and `Genlex` are going to disappear to...

I see no call to `GMain.init`. You should probably put one before `let gui = new gui_t`. In LablGtk3 there is no `GtkInit` module, and one needs to call `GMain.init`...

Looking at the code again, there is a call to `GMain.init` inside the constructor of `gui_t`. I would still suggest to move it outside, as it would be safer, but...

Apparently ocamlcore.org eventually went down, after staying in a semi-life for many years... You can find all recent versions of lablgtk on the github page, and older ones can also...

Actually, the forge still works. But the link has changed. Need to do a pull request on opam.

Thanks for you example, I suppose we should document this somewhere (or just add your example). Note that creating custom widgets in lablgtk is low level, and there is virtually...

This is a bootstrapping problem: IIRC the generated files depend on GtkBase, so everything there could not be automated. Since GtkBase was already mature when I introduced propcc, this didn't...

We tried to generated code directly, rather than props file, so we only got a very raw binding. You're probably right that generating props files is going to be much...

Are you talking of the code generation in the gtk3 branch? It used to produce compilable code. At least hello_world.ml did work (both C and ML automatically generated from the...

Then you're talking about something different. The fully functional generation code is in the src3 subdirectory gtk3 branch, not lablgtk3. The code in lablgtk3 is actually the same as master,...