WebKit Bugzilla
New
Browse
Log In
×
Sign in with GitHub
or
Remember my login
Create Account
·
Forgot Password
Forgotten password account recovery
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>→</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
Details
View All
Add attachment
proposed patch, testcase, etc.
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.
Top of Page
Format For Printing
XML
Clone This Bug