On Tue, 28 Feb 2023 14:41:59 GMT, Jay Bhaskar <jbhas...@openjdk.org> wrote:
>> Issue: default html5 video element not showing media controls >> Details: Media control design has been refactored in the current Webkit Gtk >> port. The CSS id >> and properties related to media buttons, and slider have >> been removed, due to which the >> media style mediaControlsAdwaita.css values are not being >> applied. >> Solution: restored media control keywords and mapped to CSS keywords values. > > Jay Bhaskar has updated the pull request incrementally with one additional > commit since the last revision: > > add test case As a note to other reviewers, the fix for PR #1050 was folded into this fix. There were overlapping changes (merge conflicts), so it was easier to resolve them in a single PR. ------------- PR: https://git.openjdk.org/jfx/pull/1049
