Re: [patch] fix bug 5138

2008-08-08 Thread Uwe Stöhr
Martin Vermeer schrieb: small patch... What do you mean? The patch is not by me but I wanted to noticed the list about the patch because the patch author has not yet commit permissions. So when the patch is OK, somebody of us has to put it in. regards Uwe

Re: [patch] fix bug 5138

2008-08-07 Thread Martin Vermeer
On Thu, Aug 07, 2008 at 11:35:18PM +0200, Uwe Stöhr wrote: > See http://bugzilla.lyx.org/show_bug.cgi?id=5138 > > regards Uwe small patch... Martin

[patch] fix bug 5138

2008-08-07 Thread Uwe Stöhr
See http://bugzilla.lyx.org/show_bug.cgi?id=5138 regards Uwe