Home
last modified time | relevance | path

Searched refs:mediaDuration (Results 1 – 3 of 3) sorted by relevance

/external/webkit/Source/WebKit/gtk/WebCoreSupport/
DFullscreenVideoController.cpp504 float mediaDuration(duration()); in updateHudProgressBar() local
510 if (mediaPosition && mediaDuration) in updateHudProgressBar()
511 value = (mediaPosition * 100.0) / mediaDuration; in updateHudProgressBar()
520 timeToString(mediaDuration).utf8().data()); in updateHudProgressBar()
/external/webkit/Source/WebCore/platform/graphics/gstreamer/
DMediaPlayerPrivateGStreamer.cpp673 float mediaDuration(duration()); in buffered() local
674 if (!mediaDuration || isinf(mediaDuration)) in buffered()
687 timeRanges->add(static_cast<float>((rangeStart * mediaDuration) / 100), in buffered()
688 static_cast<float>((rangeStop * mediaDuration) / 100)); in buffered()
/external/webkit/Source/WebCore/platform/gtk/
DRenderThemeGtk.cpp542 float mediaDuration = mediaElement->duration(); in paintMediaSliderTrack() local
555 int width = ((end - start) * totalWidth) / mediaDuration; in paintMediaSliderTrack()
561 … rangeRect.setLocation(IntPoint(trackRect.x() + start / mediaDuration* totalWidth, trackRect.y())); in paintMediaSliderTrack()