Re: [PATCH] Bug 3999

Richard Heck schrieb:

Patch for this annoying bug: http://bugzilla.lyx.org/show_bug.cgi?id=3999


Works fine in all my test cases.
When performing a search, the search text is now higlighted - exactly how it 
should.

regards Uwe

Reply via email to