[Webkit-unassigned] [Bug 85729] Add support for menclose element

bugzilla-daemon at webkit.org bugzilla-daemon at webkit.org
Wed Sep 18 09:22:34 PDT 2013


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





--- Comment #4 from Frédéric Wang <fred.wang at free.fr>  2013-09-18 09:21:42 PST ---
(In reply to comment #3)
> Hi Frederic. For menclose the main attribute we need to support is notation which has different values such as box, circle etc. So for the implementation what I thought was we can create the element and while parsing the attribute if values are like left, right, top, bottom, acturial, madruwb, rounder box we can add CSS border properties. For radical we can create RenderMathMLSquareRoot as anonymous parent and for circle, updiagonalstrike, downdiagonalstrike, verticalstrike, verticalstrike, longdiv we can take care in paint of menclose.
> 
> Please suggest?

Hi Gurpreet. I think you're correct, there are essentially three cases:

1) left, right, top, bottom, etc that can be drawn with CSS border
2) radical and longdiv that can be drawn with one stretchy char (radical and parenthesis) + a stretchy horizontal bar
3) other notations that are painted in the renderer.

Currently msqrt does 3) but I'd like to change that (bug 119038). However, 2) is currently blocked by a work-in-progress to refactor the stretchy code, so that can be for later.

I would open a new bug to start with the easiest case 1). For that one, you'll have to define the menclose element and notation attribute in mathtags.in and mathattrs.in. Map menclose to MathMLInlineContainerElement so that it behaves like an mrow. Then implement MathMLElement::collectStyleForPresentationAttribute somewhere (like in MathElement.cpp) so that it handles the case hasLocalName(mencloseTag) and name == notationAttr. This should map to the appropriate CSS property, I guess CSSPropertyBorder* or something.

-- 
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