toggle menu
Pillarbox
dev
androidJvm
switch theme
search in API
pillarbox-player
/
ch.srgssr.pillarbox.player
/
PillarboxPreloadManager
/
currentPlayingIndex
current
Playing
Index
var
currentPlayingIndex
:
Int
The index of the currently playing media item.
See also
Default
Preload
Manager.
set
Current
Playing
Index