NEW 180288
Spacing around <mo> should only be added inside <mrow>
https://bugs.webkit.org/show_bug.cgi?id=180288
Summary Spacing around <mo> should only be added inside <mrow>
Minsheng Liu
Reported 2017-12-01 15:20:58 PST
Created attachment 328168 [details] an example why space around <mo> can make horizontal stretch wrong As said in RenderMathMLOperator.cpp: > // FIXME: The spacing should only be added inside (perhaps inferred) mrow (http://www.w3.org/TR/MathML/chapter3.html#presm.opspacing). > preferredWidth = leadingSpace() + preferredWidth + trailingSpace(); For now the bug has little impact, but once 179682 (https://bugs.webkit.org/show_bug.cgi?id=179682) is resolved, it does affect the following case: <math display="block"> <mrow> <mover> <munder> <mtext>long text</mtext> <mo>&#x2192;</mo> </munder> <mo>⏞</mo> </mover> </mrow> </math> The outer brace will stretch to the arrow plus surrounding space.
Attachments
an example why space around <mo> can make horizontal stretch wrong (183 bytes, text/html)
2017-12-01 15:20 PST, Minsheng Liu
no flags
Frédéric Wang (:fredw)
Comment 1 2017-12-04 02:32:36 PST
Right, spacing should actually be added to the whole embellished operator not the <mo> at its core see https://bugs.webkit.org/show_bug.cgi?id=124831#c1
Note You need to log in before you can comment on or make changes to this bug.