>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> On Tue, Mar 28, 2006 at 02:46:52PM +0200, Jean-Marc Lasgouttes Martin> wrote: >> >>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes: >> Martin> It appears brute force is the only way here. See attached. >> You can apply to 1.4.x too, if you think it is necessary. Martin> It's in now. Log entry: Have you seen this one? http://bugzilla.lyx.org/show_bug.cgi?id=2382 Maybe a more general solution is needed. JMarc
