> I think this patch will fix this bug. It outputs a newline before an environment if there's a > depth change. Should we do this only if the depth increases, though?
It sounds reasonable and it works so far.But every change in this field is a risk, so perhaps it is better to revert the fix for bug 4993 and then find a proper solution for bug 4993.
Jürgen, what do you think? regards Uwe