[GTK][WPE] Media controls numeric position value is not automatically updated during...
authorcarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 19 Mar 2020 14:05:01 +0000 (14:05 +0000)
committercarlosgc@webkit.org <carlosgc@webkit.org@268f45cc-cd09-0410-ab3c-d52691b4dbfc>
Thu, 19 Mar 2020 14:05:01 +0000 (14:05 +0000)
commite338d4ec02022bcd73690bdb839ddce704890020
treee939662bfc924a02bf5924fc4f805e1cece3c33c
parentb9f38db3b326739f17c1869098d84dbdbb41afa4
[GTK][WPE] Media controls numeric position value is not automatically updated during playback
https://bugs.webkit.org/show_bug.cgi?id=209051

Reviewed by Philippe Normand.

The time label is not updated because updateTime() thinks the media controls are hidden when not hovered, but
for audio elements the controls are always visible.

* Modules/mediacontrols/mediaControlsAdwaita.js:
(Controller.prototype.controlsAreAlwaysVisible): Return true for audio elements.

git-svn-id: https://svn.webkit.org/repository/webkit/trunk@258696 268f45cc-cd09-0410-ab3c-d52691b4dbfc
Source/WebCore/ChangeLog
Source/WebCore/Modules/mediacontrols/mediaControlsAdwaita.js