On Sun, 26 Feb 2023 17:03:29 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: > > minor correction use media-mute-button in style with this pr default media control works excluding slider, slider might be solved with range input bug JDK-8300954 ------------- PR: https://git.openjdk.org/jfx/pull/1049