![](https://secure.gravatar.com/avatar/c5ae4f9aa0d3a9bd5376e92b322c3e50.jpg?s=120&d=mm&r=g)
24 May
2012
24 May
'12
7:59 a.m.
On Thu, 24 May 2012, luigi scarso wrote:
On Thu, May 24, 2012 at 10:05 AM, Tim Steenvoorden
wrote: Hi all,
I'm still struggling with the same issue in 2012.05.24. Anyone?
Cheers, Tim Yes --- sorry, I can only confirm your issue.
Any idea when this was introduced (or if this bug was always present)? I think that adding a patch to px-math.cfg to scale DisplayOperatorMinHeight should fix it; but I don't have the time to look into this right now. Aditya