rgheck wrote:
I recently committed some "improvements" to InsetCitation, designed to
display things like:
G\"odel
using the corresponding unicode. It has now occurred to me, though,
that this can cause problems with searching, since one will now need
to search not for G\"odel but for something else. I'm not sure what to
do about this, but I'm inclined to think I may need to revert this and
redo it in such a way that it won't affect search. Does this seem right?
Actually, I realized there was a much better way to do that generally,
and committed it at r21890 and r21891.
Jurgen, this should also go to branch, OK?
rh
