gstreamer/playback
2015-05-13 22:30:48 +03:00
..
player playback/player: ios: Cast the seek slider value from float to integer after scaling 2015-05-13 22:30:48 +03:00