From 6668b07fcd51f86be243b9e08e667224e30c0cf8 Mon Sep 17 00:00:00 2001
From: Simon Hausmann <simon.hausmann@nokia.com>
Date: Wed, 27 Jun 2012 09:28:46 +0200
Subject: Imported WebKit commit 26cd9bd8ab0471ffe987c9b60368f63dc0f1f31b
 (http://svn.webkit.org/repository/webkit/trunk@121325)

New snapshot with more Windows build fixes
---
 Source/WebCore/html/HTMLMediaElement.cpp | 2 --
 1 file changed, 2 deletions(-)

(limited to 'Source/WebCore/html/HTMLMediaElement.cpp')

diff --git a/Source/WebCore/html/HTMLMediaElement.cpp b/Source/WebCore/html/HTMLMediaElement.cpp
index bcc87fe0c..fddc42893 100644
--- a/Source/WebCore/html/HTMLMediaElement.cpp
+++ b/Source/WebCore/html/HTMLMediaElement.cpp
@@ -2708,8 +2708,6 @@ void HTMLMediaElement::endScrubbing()
 // "15 to 250ms", we choose the slowest frequency
 static const double maxTimeupdateEventFrequency = 0.25;
 
-static const double timeWithoutMouseMovementBeforeHidingControls = 3;
-
 void HTMLMediaElement::startPlaybackProgressTimer()
 {
     if (m_playbackProgressTimer.isActive())
-- 
cgit v1.2.1