RESOLVED FIXED 142606
Broke updating media element time following r181279 
https://bugs.webkit.org/show_bug.cgi?id=142606
Summary Broke updating media element time following r181279
Roger Fong
Reported 2015-03-11 18:12:11 PDT
Following http://trac.webkit.org/changeset/181279 I broke updating time while scrubbing. The reason is that before we were blanket updating the whole control panel anytime the mouse moved. I changed it such that it only updated as a result of a mouse move if the controls were hidden (to unhide them) However I didn’t quite think it through enough and forgot that we also need to update the times of the control display as a result of a mouse move if we are scrubbing.
Attachments
patch (1.33 KB, patch)
2015-03-11 18:18 PDT, Roger Fong 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Roger Fong
Comment 1 2015-03-11 18:14:42 PDT
rdar://problem/20131014
Roger Fong
Comment 2 2015-03-11 18:18:04 PDT
Created attachment 248474 [details] patch
WebKit Commit Bot
Comment 3 2015-03-11 22:01:30 PDT
Comment on attachment 248474 [details] patch Clearing flags on attachment: 248474 Committed r181428: <http://trac.webkit.org/changeset/181428>
WebKit Commit Bot
Comment 4 2015-03-11 22:01:33 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.