[Webkit-unassigned] [Bug 142606] New: Broke updating media element time following r181279

[bugzilla-daemon at webkit.org]

https://bugs.webkit.org/show_bug.cgi?id=142606

            Bug ID: 142606
           Summary: Broke updating media element time following r181279
    Classification: Unclassified
           Product: WebKit
           Version: 528+ (Nightly build)
          Hardware: Unspecified
                OS: Unspecified
            Status: NEW
          Severity: Normal
          Priority: P2
         Component: Media Elements
          Assignee: webkit-unassigned at lists.webkit.org
          Reporter: roger_fong at apple.com

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.

-- 
You are receiving this mail because:
You are the assignee for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.webkit.org/pipermail/webkit-unassigned/attachments/20150312/a57535ca/attachment-0002.html>