Index: Source/WebCore/html/shadow/MediaControlElementTypes.h |
diff --git a/Source/WebCore/html/shadow/MediaControlElementTypes.h b/Source/WebCore/html/shadow/MediaControlElementTypes.h |
index c2f67918b5435acab2989f82d2920200be034a49..959c2efa031703db2fb52014e155ee82fe290e68 100644 |
--- a/Source/WebCore/html/shadow/MediaControlElementTypes.h |
+++ b/Source/WebCore/html/shadow/MediaControlElementTypes.h |
@@ -134,14 +134,14 @@ private: |
class MediaControlTimeDisplayElement : public MediaControlDivElement { |
public: |
- void setCurrentValue(float); |
- float currentValue() const { return m_currentValue; } |
+ void setCurrentValue(double); |
+ double currentValue() const { return m_currentValue; } |
protected: |
explicit MediaControlTimeDisplayElement(Document*, MediaControlElementType); |
private: |
- float m_currentValue; |
+ double m_currentValue; |
}; |
// ---------------------------- |
@@ -178,7 +178,7 @@ private: |
void startTimer(); |
void stopTimer(); |
- float nextRate() const; |
+ double nextRate() const; |
void seekTimerFired(Timer<MediaControlSeekButtonElement>*); |
enum ActionType { Nothing, Play, Pause }; |
@@ -194,7 +194,7 @@ class MediaControlVolumeSliderElement : public MediaControlInputElement { |
public: |
virtual bool willRespondToMouseMoveEvents() OVERRIDE; |
virtual bool willRespondToMouseClickEvents() OVERRIDE; |
- void setVolume(float); |
+ void setVolume(double); |
void setClearMutedOnUserInteraction(bool); |
protected: |