]> > First, it seems that there's no more development activities going on. > Is that the case ? Yes (that is, Chinese/Korean/... "yes". English "no"), there is no more development of mlgtk. > I prefer mlgtk to lablgtk since it is easier to use, easier to understand > and generates more compact code(at least on AIX system). I prefer it for these reasons too, but none of my current projects needs a GUI, so it's difficult for me to keep finding time to work on it. > The other question is about reference counting. > I looked at lablgtk source and saw that it implemented reference counting, > but I cound not find any reference counting code in mlgtk. That is because mlgtk is buggy, or at least because it only works if used as intended. I started to understand how gtk's reference counting was supposed to work just before I started to have no more time available available for mlgtk, so I never had time to fix this "bug". > If it is not, is it because the developers decided that it was not > necessary or it just wasn't implemented ? It's more the second one :) but everything will work fine if you don't try to free any gtk objects (and even if you do, it's only a memory leak, you might never notice :) ). Do you really need it, or are you asking just out of curiosity? I could make an effort and implement it, if you need it (and as Sven pointed out, the source is available :) ). Pascal ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners