Bug#445193: lablgtk2-2.10.0 breaks MLDonkey GTK2 GUI

[Samuel Mimram <samuel.mimram@ens-lyon.org>]

Hi,

spiral voice wrote:
> MLDonkey 2.9.2 will contain some patches to allow usage of
> lablgtk2-2.10.0 without breaking backwards compatibility.
> 
> Unfortunately one patch in lablgtk-2.10.0 breaks backwards
> compatibility with its earlier versions. This patch needs to
> be reverted in order to work with MLDonkey GTK2 GUI:
> 
> http://svn.gna.org/viewcvs/lablgtk/trunk/src/gtkMain.ml?rev=1359&dir_pagestart=100&view=diff&r1=1359&r2=1358&p1=trunk/src/gtkMain.ml&p2=/trunk/src/gtkMain.ml

Can't this be worked around by patching mldonkey instead of lablgtk? I'd
rather avoid patching lablgtk, unless it's a bug in this library.

Cheers,

Samuel.