Dov Feldstern wrote:
Hi!

Attached find a patch for bug 1820, which has resisted solution for a long time. After a lot of work done by others to tidy up the output_latex code in the past few months, the infrastructure was now in place so that finally we can provide a solution. It would be good if this could still make it in to 1.5.0, though I realize that this is deep inside the latex output, and therefore may be too risky at this point... :(

I personally think that, at C++ level, there's nothing scary in your patch but I am not a LateX expert.

Abdel.

Reply via email to