Re: gtk*Props modules not found

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 <[email protected]>
> 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