|Summary:||Broke updating media element time following r181279|
|Product:||WebKit||Reporter:||Roger Fong <roger_fong>|
|Severity:||Normal||CC:||commit-queue, dino, roger_fong|
|Version:||528+ (Nightly build)|
Description Roger Fong 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.
Comment 3 WebKit Commit Bot 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>
Comment 4 WebKit Commit Bot 2015-03-11 22:01:33 PDT
All reviewed patches have been landed. Closing bug.