[Webkit-unassigned] [Bug 180288] New: Spacing around <mo> should only be added inside <mrow>

[bugzilla-daemon at webkit.org]

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

            Bug ID: 180288
           Summary: Spacing around <mo> should only be added inside <mrow>
           Product: WebKit
           Version: Other
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: MathML
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: lambda at liu.ms

Created attachment 328168

  --> https://bugs.webkit.org/attachment.cgi?id=328168&action=review

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.

-- 
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/20171201/0274cc56/attachment.html>