| 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));
|
| }
|
|
|