Index: Source/WebCore/html/shadow/MediaControlElements.cpp |
diff --git a/Source/WebCore/html/shadow/MediaControlElements.cpp b/Source/WebCore/html/shadow/MediaControlElements.cpp |
index efe53f7ae0d1e5247b1f1e1d47d8d3bec05f6e01..565630bb5c2f3f1c31dd1b75ff2482f9c8fb5ab1 100644 |
--- a/Source/WebCore/html/shadow/MediaControlElements.cpp |
+++ b/Source/WebCore/html/shadow/MediaControlElements.cpp |
@@ -37,7 +37,6 @@ |
#include "EventNames.h" |
#include "EventTarget.h" |
#include "ExceptionCodePlaceholder.h" |
-#include "FloatConversion.h" |
#include "Frame.h" |
#include "GraphicsContext.h" |
#include "HTMLVideoElement.h" |
@@ -722,7 +721,7 @@ void MediaControlTimelineElement::defaultEventHandler(Event* event) |
if (event->type() == eventNames().mouseoverEvent || event->type() == eventNames().mouseoutEvent || event->type() == eventNames().mousemoveEvent) |
return; |
- float time = narrowPrecisionToFloat(value().toDouble()); |
+ double time = value().toDouble(); |
if (event->type() == eventNames().inputEvent && time != mediaController()->currentTime()) |
mediaController()->setCurrentTime(time, IGNORE_EXCEPTION); |
@@ -739,12 +738,12 @@ bool MediaControlTimelineElement::willRespondToMouseClickEvents() |
return true; |
} |
-void MediaControlTimelineElement::setPosition(float currentTime) |
+void MediaControlTimelineElement::setPosition(double currentTime) |
{ |
setValue(String::number(currentTime)); |
} |
-void MediaControlTimelineElement::setDuration(float duration) |
+void MediaControlTimelineElement::setDuration(double duration) |
{ |
setAttribute(maxAttr, String::number(std::isfinite(duration) ? duration : 0)); |
} |