Index: Source/WebCore/html/MediaController.h |
diff --git a/Source/WebCore/html/MediaController.h b/Source/WebCore/html/MediaController.h |
index 6615a3bc480b97bc2abda8ab51c523313fe5fe05..5e456bd03cf39cf4b4ed7af3a4495ccdfdf2bc8a 100644 |
--- a/Source/WebCore/html/MediaController.h |
+++ b/Source/WebCore/html/MediaController.h |
@@ -60,23 +60,23 @@ public: |
virtual PassRefPtr<TimeRanges> seekable() const; |
virtual PassRefPtr<TimeRanges> played(); |
- virtual float duration() const; |
- virtual float currentTime() const; |
- virtual void setCurrentTime(float, ExceptionCode&); |
+ virtual double duration() const; |
+ virtual double currentTime() const; |
+ virtual void setCurrentTime(double, ExceptionCode&); |
virtual bool paused() const { return m_paused; } |
virtual void play(); |
virtual void pause(); |
void unpause(); |
- virtual float defaultPlaybackRate() const { return m_defaultPlaybackRate; } |
- virtual void setDefaultPlaybackRate(float); |
+ virtual double defaultPlaybackRate() const { return m_defaultPlaybackRate; } |
+ virtual void setDefaultPlaybackRate(double); |
- virtual float playbackRate() const; |
- virtual void setPlaybackRate(float); |
+ virtual double playbackRate() const; |
+ virtual void setPlaybackRate(double); |
- virtual float volume() const { return m_volume; } |
- virtual void setVolume(float, ExceptionCode&); |
+ virtual double volume() const { return m_volume; } |
+ virtual void setVolume(double, ExceptionCode&); |
virtual bool muted() const { return m_muted; } |
virtual void setMuted(bool); |
@@ -143,9 +143,9 @@ private: |
friend class MediaControllerEventListener; |
Vector<HTMLMediaElement*> m_mediaElements; |
bool m_paused; |
- float m_defaultPlaybackRate; |
- float m_volume; |
- mutable float m_position; |
+ double m_defaultPlaybackRate; |
+ double m_volume; |
+ mutable double m_position; |
bool m_muted; |
ReadyState m_readyState; |
PlaybackState m_playbackState; |