Jacques Garrigue
Jacques Garrigue
I don't remember any particular reason. Was it broken, or needed to redo the configuration? Since the goal of lablgtk3 was initially just to support coqide, this was probably not...
Sorry for the very slow answer: no plans so far. We are basically demand-driven. That is, if this is required to do something we may try to update lablgtk. This...
Indeed, you're right. We kind of expected everybody to install through opam, which includes the dependency, but we should update the README too.
The semantics of `let` in parameterless classes is very confusing. Basically the `let` is executed at class initialization time, but a new object will be created each time you call...
I'm fine with that approach (sorry for the delay)
Indeed, there is no way to install the docs without camlp4 or camlp5. Note that you can replace camlp4 by camlp5 if the former is not available for your ocaml...
LablGTK is mostly in maintenance mode, so additions are only on request. If you have a use case, with the functions you would need, or even better a pull request...
The code for pixbufs is in `gdkPixbuf.ml` and `ml_gdkpixbuf.c`. The macros such as `ML_1` are in `wrappers.h`. If you can follow what it does, give it a try. Note that...
> So one partial tie-breaker rule could be: when choosing between paths of the same dot-length, prefer paths that can be reached by resolution. This would still break the property...
Thanks for spotting this. The language is so rich that we end up forgetting corner cases at times. Did you find it in the wild? My immediate impression is that...