[Webkit-unassigned] [Bug 179682] Incorrect bounds inside <mover>/<munder> when a stretchy operator is present

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=179682

--- Comment #22 from Minsheng Liu <lambda at liu.ms> ---
I am unsure about your stance on the following case:

<math display="block">
<mrow>
  <munder><mover><mo>→</mo><mtext>hello world</mtext></mover> <mo>⏞</mo></munder>
</mrow>
</math>

\under{\over{\arrow}{hello world}}{\topbrace}

According to the standard, the \arrow will stretch to the maximal width of *other* sub-expressions. And since the only other sub-expression is the \topbrace, we stretch \arrow to the un-stretchy size of \topbrace. Firefox obeys the standard on this particular case (you can check it out yourself). I do not find that result intuitive/appealing though. What do you think?

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20171128/f1066984/attachment.html>