Bug 209051 - [GTK][WPE] Media controls numeric position value is not automatically updated during playback
Summary: [GTK][WPE] Media controls numeric position value is not automatically updated...
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: WebKitGTK (show other bugs)
Version: WebKit Nightly Build
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2020-03-13 07:54 PDT by Philippe Normand
Modified: 2020-03-19 07:05 PDT (History)
10 users (show)

See Also:

Attachments
RTVE livestream (104 bytes, text/html)
2020-03-13 07:54 PDT, Philippe Normand 		no flags Details
screencast (6.21 MB, video/x-matroska)
2020-03-13 07:57 PDT, Philippe Normand 		no flags Details
Patch (1.61 KB, patch)
2020-03-16 07:31 PDT, Carlos Garcia Campos 		pnormand: review+
Details | Formatted Diff | Diff
View All Add an attachment (proposed patch, testcase, etc.)

Note You need to log in before you can comment on or make changes to this bug.
Description Philippe Normand 2020-03-13 07:54:33 PDT 
Created attachment 393480 [details]
RTVE livestream

I have to mouse-hover the controls to see the update.
Comment 1 Philippe Normand 2020-03-13 07:57:15 PDT 
Created attachment 393481 [details]
screencast
Comment 2 Carlos Garcia Campos 2020-03-16 07:31:09 PDT 
Created attachment 393653 [details]
Patch
Comment 3 Carlos Garcia Campos 2020-03-19 07:05:08 PDT 
Committed r258696: <https://trac.webkit.org/changeset/258696>