[Webkit-unassigned] [Bug 118843] New: mfenced element and its expanded form do not use the same spacing

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Thu Jul 18 03:38:11 PDT 2013


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

           Summary: mfenced element and its expanded form do not use the
                    same spacing
           Product: WebKit
           Version: 528+ (Nightly build)
          Platform: All
        OS/Version: All
            Status: UNCONFIRMED
          Severity: Normal
          Priority: P2
         Component: MathML
        AssignedTo: webkit-unassigned at lists.webkit.org
        ReportedBy: fred.wang at free.fr


mfenced should be equivalent to its expanded form

<mrow>
   <mo fence="true"> opening-fence </mo>
   <mrow>
      arg#1
      <mo separator="true"> sep#1 </mo>
      ...
      <mo separator="true"> sep#(n-1) </mo>
      arg#n
   </mrow>
   <mo fence="true"> closing-fence </mo>
</mrow>

However, the spacing for mfenced is
- .1em before and after the fences
- 0em/.25em before/after the separators

while the spacing for mo is
- .1em before and after the operator when it is the first or last child of an mrow
- .2em otherwise.

Bug 115787 should solve that issue.

-- 
Configure bugmail: https://bugs.webkit.org/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are the assignee for the bug.



More information about the webkit-unassigned mailing list