| Summary: | Inexplicable top css being added to audio controls when height of audio element is adjusted on iOS | ||||||
|---|---|---|---|---|---|---|---|
| Product: | WebKit | Reporter: | Jack Wellborn <w0nka> | ||||
| Component: | Media | Assignee: | Devin Rousso <hi> | ||||
| Status: | RESOLVED FIXED | ||||||
| Severity: | Normal | CC: | eric.carlson, graouts, hi, jer.noble, simon.fraser, webkit-bug-importer, wenson_hsieh, zalan | ||||
| Priority: | P2 | Keywords: | InRadar | ||||
| Version: | Safari 15 | ||||||
| Hardware: | iPhone / iPad | ||||||
| OS: | iOS 15 | ||||||
| Attachments: |
|
||||||
|
Description
Jack Wellborn
2022-09-02 13:14:03 PDT
Looks like the code was in modern-media-controls/controls/media-controls.js since 2017: // We want to maintain the controls at a constant device height. To do so, we invert the page scale // factor using a scale transform when scaling down, when the result will not appear pixelated and // where the CSS zoom property produces incorrect text rendering due to enforcing the minimum font // size. When we would end up scaling up, which would yield pixelation, we use the CSS zoom property // which will not run into the font size issue. Pull request: https://github.com/WebKit/WebKit/pull/5056 Committed 255234@main (4145593d349c): <https://commits.webkit.org/255234@main> Reviewed commits have been landed. Closing PR #5056 and removing active labels. |