The gtk*Props.ml modules are only for the internal use of the build
process.
All the functions they define are re-exported in the corresponding
gtk*.ml modules. You should use those, as they provide the intended
low-level API of lablgtk.
If you have a technical reason to use them (some functions that are
not re-exported), please tell me.
Jacques
From: Edouard Evangelisti <
edouardevangelisti@...>
> Hi !
>
> It seems that gtk*Props modules (for instance GtkBaseProps) are not
> copied in the lablgtk2 directory when installing LablGTK 2.14 (but they
> are built as expected). As a result, codes which use these modules won't
> compile. Well, are they now deprecated and replaced by something else ?
> Maybe I've missed something.
>
> I thank you in advance for your precious help.
>
> Sincerely,
> Edouard
_______________________________________________
Lablgtk mailing list
Lablgtk@...
http://yquem.inria.fr/cgi-bin/mailman/listinfo/lablgtk