>>>>> "Enrico" == Enrico Forestieri <[EMAIL PROTECTED]> writes:
Enrico> I don't want to introduce ugly code only for the benefit of Enrico> one platform, so I don't advocate the patch. But I think that Enrico> it makes sense to apply it as a local patch if you Enrico> specifically build lyx for that platform, otherwise it may be Enrico> seen as a lyx bug, as you can see. This makes sense. JMarc
