[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>→</mo>
</munder>
<mo>⏞</mo>
</mover>
</mrow>
</math>
The arrow (→) 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