Uwe Stöhr wrote:
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.
Thanks Uwe. I've committed it to trunk, as it's so simple.
Jurgen, do you want this for 1.5.2?
rh
--
==================================================================
Richard G Heck, Jr
Professor of Philosophy
Brown University
http://frege.brown.edu/heck/
==================================================================
Get my public key from http://sks.keyserver.penguin.de
Hash: 0x1DE91F1E66FFBDEC
Learn how to sign your email using Thunderbird and GnuPG at:
http://dudu.dyn.2-h.org/nist/gpg-enigmail-howto
