24 May
2012
24 May
'12
3:59 p.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