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

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Tue Nov 28 11:45:07 PST 2017


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

--- Comment #23 from Frédéric Wang (:fredw) <fred.wang at free.fr> ---
(In reply to Minsheng Liu from comment #22)
> 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?

I'm not exactly sure, but I think this falls into "maximum of the normal unstretched sizes of all elements in the containing object" (3.2.5.8.4). What's the unstretched size of the embellished op \over{\arrow}{hello world} is not clear (it may or may not include the width of "hello world").

Let's first try with the changes I proposed and see if that break regression tests or concrete use cases. For edge cases, we could ask on the Math WG mailing list.

-- 
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/740cefc9/attachment-0001.html>


More information about the webkit-unassigned mailing list