Martin Vermeer wrote: > Attached the IMHO "current best" version of this patch, which was held > up by a discussion about the best way to find the pit value of a given > paragraph (loop, linear computation for <vector>, or some std::find > thing). This proposal doesn't assume <vector>.
I'm sorry to be a pain in the neck, but I think this patch really should go in. It fixes bug 2015 and the most important part of bug 2019, both of which are must-fixes for 1.4.0 IMO. http://bugzilla.lyx.org/show_bug.cgi?id=2015 http://bugzilla.lyx.org/show_bug.cgi?id=2019 Lars? Jürgen
