| Index: Source/WebCore/html/HTMLMediaElement.h
|
| diff --git a/Source/WebCore/html/HTMLMediaElement.h b/Source/WebCore/html/HTMLMediaElement.h
|
| index 11de6c61f4ee02ef41d68c75735f2b1cb818deb9..0047ec31569e7d159339ecc173747d8cd400a543 100644
|
| --- a/Source/WebCore/html/HTMLMediaElement.h
|
| +++ b/Source/WebCore/html/HTMLMediaElement.h
|
| @@ -96,7 +96,7 @@ public:
|
| virtual bool hasVideo() const { return false; }
|
| virtual bool hasAudio() const;
|
|
|
| - void rewind(float timeDelta);
|
| + void rewind(double timeDelta);
|
| void returnToRealtime();
|
|
|
| // Eventually overloaded in HTMLVideoElement
|
| @@ -144,16 +144,16 @@ public:
|
| bool seeking() const;
|
|
|
| // playback state
|
| - float currentTime() const;
|
| - void setCurrentTime(float, ExceptionCode&);
|
| + double currentTime() const;
|
| + void setCurrentTime(double, ExceptionCode&);
|
| double initialTime() const;
|
| - float startTime() const;
|
| - float duration() const;
|
| + double startTime() const;
|
| + double duration() const;
|
| bool paused() const;
|
| - float defaultPlaybackRate() const;
|
| - void setDefaultPlaybackRate(float);
|
| - float playbackRate() const;
|
| - void setPlaybackRate(float);
|
| + double defaultPlaybackRate() const;
|
| + void setDefaultPlaybackRate(double);
|
| + double playbackRate() const;
|
| + void setPlaybackRate(double);
|
| void updatePlaybackRate();
|
| bool webkitPreservesPitch() const;
|
| void setWebkitPreservesPitch(bool);
|
| @@ -206,8 +206,8 @@ public:
|
| // controls
|
| bool controls() const;
|
| void setControls(bool);
|
| - float volume() const;
|
| - void setVolume(float, ExceptionCode&);
|
| + double volume() const;
|
| + void setVolume(double, ExceptionCode&);
|
| bool muted() const;
|
| void setMuted(bool);
|
|
|
| @@ -217,7 +217,7 @@ public:
|
|
|
| bool canPlay() const;
|
|
|
| - float percentLoaded() const;
|
| + double percentLoaded() const;
|
|
|
| #if ENABLE(VIDEO_TRACK)
|
| PassRefPtr<TextTrack> addTextTrack(const String& kind, const String& label, const String& language, ExceptionCode&);
|
| @@ -496,10 +496,10 @@ private:
|
| void startProgressEventTimer();
|
| void stopPeriodicTimers();
|
|
|
| - void seek(float time, ExceptionCode&);
|
| + void seek(double time, ExceptionCode&);
|
| void finishSeek();
|
| void checkIfSeekNeeded();
|
| - void addPlayedRange(float start, float end);
|
| + void addPlayedRange(double start, double end);
|
|
|
| void scheduleTimeupdateEvent(bool periodicEvent);
|
| void scheduleEvent(const AtomicString& eventName);
|
| @@ -523,7 +523,7 @@ private:
|
| void mediaLoadingFailed(MediaPlayer::NetworkState);
|
|
|
| #if ENABLE(VIDEO_TRACK)
|
| - void updateActiveTextTrackCues(float);
|
| + void updateActiveTextTrackCues(double);
|
| HTMLTrackElement* showingTrackWithSameKind(HTMLTrackElement*) const;
|
|
|
| void markCaptionAndSubtitleTracksAsUnconfigured();
|
| @@ -550,13 +550,13 @@ private:
|
| bool pausedForUserInteraction() const;
|
| bool couldPlayIfEnoughData() const;
|
|
|
| - float minTimeSeekable() const;
|
| - float maxTimeSeekable() const;
|
| + double minTimeSeekable() const;
|
| + double maxTimeSeekable() const;
|
|
|
| // Pauses playback without changing any states or generating events
|
| void setPausedInternal(bool);
|
|
|
| - void setPlaybackRateInternal(float);
|
| + void setPlaybackRateInternal(double);
|
|
|
| virtual void mediaCanStart();
|
|
|
| @@ -600,8 +600,8 @@ private:
|
| RefPtr<TimeRanges> m_playedTimeRanges;
|
| OwnPtr<GenericEventQueue> m_asyncEventQueue;
|
|
|
| - float m_playbackRate;
|
| - float m_defaultPlaybackRate;
|
| + double m_playbackRate;
|
| + double m_defaultPlaybackRate;
|
| bool m_webkitPreservesPitch;
|
| NetworkState m_networkState;
|
| ReadyState m_readyState;
|
| @@ -610,8 +610,8 @@ private:
|
|
|
| RefPtr<MediaError> m_error;
|
|
|
| - float m_volume;
|
| - float m_lastSeekTime;
|
| + double m_volume;
|
| + double m_lastSeekTime;
|
|
|
| unsigned m_previousProgress;
|
| double m_previousProgressTime;
|
| @@ -620,7 +620,7 @@ private:
|
| double m_lastTimeUpdateEventWallTime;
|
|
|
| // The last time a timeupdate event was sent in movie time.
|
| - float m_lastTimeUpdateEventMovieTime;
|
| + double m_lastTimeUpdateEventMovieTime;
|
|
|
| // Loading state.
|
| enum LoadState { WaitingForSource, LoadingFromSrcAttr, LoadingFromSourceElement };
|
| @@ -647,7 +647,7 @@ private:
|
| RefPtr<MediaSource> m_mediaSource;
|
| #endif
|
|
|
| - mutable float m_cachedTime;
|
| + mutable double m_cachedTime;
|
| mutable double m_cachedTimeWallClockUpdateTime;
|
| mutable double m_minimumWallClockTimeToCacheMediaTime;
|
|
|
| @@ -696,7 +696,7 @@ private:
|
| bool m_tracksAreReady : 1;
|
| bool m_haveVisibleTextTrack : 1;
|
| bool m_processingPreferenceChange : 1;
|
| - float m_lastTextTrackUpdateTime;
|
| + double m_lastTextTrackUpdateTime;
|
|
|
| RefPtr<TextTrackList> m_textTracks;
|
| Vector<RefPtr<TextTrack> > m_textTracksWhenResourceSelectionBegan;
|
|
|