Bug 142606

Summary:

Broke updating media element time following r181279

Product:

WebKit

Reporter:

Roger Fong <roger_fong>

Component:

Media

Assignee:

Nobody <webkit-unassigned>

Status:

RESOLVED FIXED

Severity:

Normal

CC:

commit-queue, dino, roger_fong

Priority:

Version:

528+ (Nightly build)

Hardware:

Unspecified

OS:

Unspecified

Attachments:

Description	Flags
patch	none

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 1 Roger Fong 2015-03-11 18:14:42 PDT

rdar://problem/20131014

Comment 2 Roger Fong 2015-03-11 18:18:04 PDT

Created attachment 248474 [details]
patch

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.