Bug 89823 - Remove unused constant timeWithoutMouseMovementBeforeHidingControls
Summary: Remove unused constant timeWithoutMouseMovementBeforeHidingControls
Status: RESOLVED FIXED
Alias: None
Product: WebKit
Classification: Unclassified
Component: DOM (show other bugs)
Version: 528+ (Nightly build)
Hardware: Unspecified Unspecified
: P2 Normal
Assignee: Nobody
URL:
Keywords:
Depends on:
Blocks:
 
Reported: 2012-06-23 22:53 PDT by Kwang Yul Seo
Modified: 2012-06-25 11:56 PDT (History)
6 users (show)

See Also:


Attachments
Patch (1.38 KB, patch)
2012-06-23 22:55 PDT, Kwang Yul Seo
no flags Details | Formatted Diff | Diff

Note You need to log in before you can comment on or make changes to this bug.
Description Kwang Yul Seo 2012-06-23 22:53:27 PDT
After r87692, timeWithoutMouseMovementBeforeHidingControls is not used anymore.
Comment 1 Kwang Yul Seo 2012-06-23 22:55:41 PDT
Created attachment 149185 [details]
Patch
Comment 2 Daniel Bates 2012-06-25 11:01:48 PDT
For completeness, the patch for bug #61717 moved the HTMLMediaElement code to MediaControlRootElement. In particular, the function startHideFullscreenControlsTimer() in HTMLMediaElement.cpp (which was the only function that referenced timeWithoutMouseMovementBeforeHidingControls in HTMLMediaElement.cpp) was moved to MediaControlRootElement.cpp, but the constant timeWithoutMouseMovementBeforeHidingControls in HTMLMediaElement.cpp wasn't removed.
Comment 3 Daniel Bates 2012-06-25 11:02:06 PDT
Comment on attachment 149185 [details]
Patch

r=me
Comment 4 WebKit Review Bot 2012-06-25 11:56:37 PDT
Comment on attachment 149185 [details]
Patch

Clearing flags on attachment: 149185

Committed r121173: <http://trac.webkit.org/changeset/121173>
Comment 5 WebKit Review Bot 2012-06-25 11:56:42 PDT
All reviewed patches have been landed.  Closing bug.