24 May
2012
24 May
'12
10:43 p.m.
On Fri, 25 May 2012, Hans Hagen wrote:
On 25-5-2012 00:13, Mojca Miklavec wrote:
On Fri, May 25, 2012 at 12:05 AM, Mojca Miklavec wrote:
On Thu, May 24, 2012 at 3:59 PM, Aditya Mahajan wrote:
Any idea when this was introduced (or if this bug was always present)?
beta 2011.07.14 16:09
Oh, I'm sorry, nonsense. That was the last working one. The one introducing the bug was 2011.07.19 10:35
https://github.com/mojca/context/commit/a3f9fa299ecc3c9d8c3989c6e219dd9a1bce...
In that version the functionality was completely broken (overlapping limits), then it improved with time a bit, but never recovered properly back.
something math_operator_size and/or DisplayOPeratorMinHEight
It's more complicated because tx-fonts behaves correctly. Aditya