[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
Thu Nov 30 08:26:33 PST 2017


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

--- Comment #36 from Minsheng Liu <lambda at liu.ms> ---
> What about the more costly option to force a relayout of the children in the first loop?

I have detailed of that in the GitHub issue and lengthy reply above (https://github.com/notcome/free-markdown-previewer/issues/1). Plus I gave you a step-by-step derivation of my algorithm which does handle all cases correctly.

> layoutIfNeeded() (optionally layoutBlock())

Thanks.

Anyway, I want to reiterate the fact that the more pressing matter is the following case:

<math display="block">
  <mrow>
    <mover>
      <munder>
        <mtext>long text</mtext>
        <mo>&#x2192;</mo>
      </munder>
      <mo>⏞</mo>
    </mover>
  </mrow>
</math>

The arrow (&#x2192;) is not an embellished operator. Its surrounding lspace/rspace will make the brace a bit wider than it should be. The correct response to this would be nontrivial (involving multiple methods and potentially a new virtual one finding all operators and underovers), and we really should discuss this case now.

-- 
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/20171130/4dd66237/attachment.html>


More information about the webkit-unassigned mailing list