Karl Hegbloom <karl.hegbloom <at> gmail.com> writes:

>
>
> Is there any reason why that patch has not simply been applied to the
TeXmacs sources? It does not appear to cause any problems, and there's no
links to external documents without it.


Well, I sort of hacked it not really understanding how the whole typesetting
process works. It could have some unwanted side effects in other areas... I
think it's preferable that Joris checks it. I already asked him to have a
look, but he probably needs a reminder now.