Stefan Schimanski wrote:
Back to topic, here is the patch. The problem was that InsetMathKern::metrics's logic was wrong: it computed the kerning, compared it to the old one, but forgot to update the dim parameter.
Obviously correct (and the bug is probably my fault). Abdel.
