> 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 ------------- Changes: - all: https://git.openjdk.org/jfx/pull/1049/files - new: https://git.openjdk.org/jfx/pull/1049/files/4ded5874..d062933a Webrevs: - full: https://webrevs.openjdk.org/?repo=jfx&pr=1049&range=01 - incr: https://webrevs.openjdk.org/?repo=jfx&pr=1049&range=00-01 Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod Patch: https://git.openjdk.org/jfx/pull/1049.diff Fetch: git fetch https://git.openjdk.org/jfx pull/1049/head:pull/1049 PR: https://git.openjdk.org/jfx/pull/1049