Georg Baum <[EMAIL PROTECTED]> writes: > > I think this is a known bug: > > http://bugzilla.lyx.org/show_bug.cgi?id=2285. If I'm reading the report > > correctly, fixing it was deferred to 1.4.2.
> Here is the fix. Going into trunk tomorrow if nobody objects. That's elegant indeed! Can I get you to commit my associated path to configure.py at the same time? Of course, the 1.4 tree will need something similar ;-) Angus