Bug 209595
| Summary: | Add support for font-family: math | ||
|---|---|---|---|
| Product: | WebKit | Reporter: | Frédéric Wang (:fredw) <fred.wang> |
| Component: | MathML | Assignee: | Nobody <webkit-unassigned> |
| Status: | RESOLVED FIXED | ||
| Severity: | Normal | CC: | ahmad.saleem792, webkit-bug-importer |
| Priority: | P2 | Keywords: | InRadar, WPTImpact |
| Version: | WebKit Nightly Build | ||
| Hardware: | Unspecified | ||
| OS: | Unspecified | ||
| URL: | http://wpt.live/mathml/relations/css-styling/default-font-family.html | ||
| See Also: |
https://bugzilla.mozilla.org/show_bug.cgi?id=1788937 https://bugs.chromium.org/p/chromium/issues/detail?id=1228189 |
||
| Bug Depends on: | |||
| Bug Blocks: | 195797 | ||
Frédéric Wang (:fredw)
See
https://www.w3.org/TR/css-fonts-4/#valdef-font-family-math
https://mathml-refresh.github.io/mathml-core/#the-top-level-math-element
| Attachments | ||
|---|---|---|
| Add attachment proposed patch, testcase, etc. |
Ahmad Saleem
By updating mathml.css, we do start passing following test case:
math {
font-family: math;
}
https://github.com/WebKit/WebKit/blob/d265fb0d526aa8120a208bf62dc5a1e160400cc7/Source/WebCore/css/mathml.css#L72
>>> http://wpt.live/mathml/relations/css-styling/default-font-family.html
Although I don't know whether we have more to do here or not but still just wanted to flag.
Frédéric Wang (:fredw)
The current hardcoded rules are necessary to help WebKit to select known math fonts (i.e. fonts with an OpenType MATH table) installed on the user's system.
So I think we should wait "font-family: math" to be implemented before.
As a bonus, it would be nice if the hardcoded list could be configurable as a preference, but maybe that's the separate issue.
Eri
Pull request: https://github.com/WebKit/WebKit/pull/48510
Eri
Pull request: https://github.com/WebKit/WebKit/pull/49208
EWS
Committed 299006@main (f5332f0677c1): <https://commits.webkit.org/299006@main>
Reviewed commits have been landed. Closing PR #48510 and removing active labels.
Radar WebKit Bug Importer
<rdar://problem/158851931>
EWS
Committed 299434@main (3efcbb374ccb): <https://commits.webkit.org/299434@main>
Reviewed commits have been landed. Closing PR #49208 and removing active labels.