Branch: refs/heads/main
Home: https://github.com/WebKit/WebKit
Commit: 4472b61acbea6174657bf7df150f2606c492c54f
https://github.com/WebKit/WebKit/commit/4472b61acbea6174657bf7df150f2606c492c54f
Author: Tim Horton <timothy_hor...@apple.com>
Date: 2023-04-25 (Tue, 25 Apr 2023)
Changed paths:
M Source/WebCore/Modules/modern-media-controls/controls/button.css
M Source/WebCore/Modules/modern-media-controls/controls/button.js
M
Source/WebCore/Modules/modern-media-controls/controls/inline-media-controls.css
Log Message:
-----------
Add a circular bit to modern media controls' Button
https://bugs.webkit.org/show_bug.cgi?id=255904
rdar://108487065
Reviewed by Dean Jackson.
* Source/WebCore/Modules/modern-media-controls/controls/button.css:
(button.circular):
* Source/WebCore/Modules/modern-media-controls/controls/button.js:
(Button.prototype.get circular):
(Button.prototype.set circular):
(Button.prototype._updateImageMetrics):
(Button):
*
Source/WebCore/Modules/modern-media-controls/controls/inline-media-controls.css:
(.media-controls.inline > .controls-bar button:not(.circular)):
(.media-controls.inline > .controls-bar button): Deleted.
Add a bit, orthogonal to the style (because we want to use it both with Bar and
Rounded buttons),
indicating that a button should be fully circular, and adjust the metrics
accordingly.
Canonical link: https://commits.webkit.org/263356@main
_______________________________________________
webkit-changes mailing list
webkit-changes@lists.webkit.org
https://lists.webkit.org/mailman/listinfo/webkit-changes
