/** Update the queue position display. mQueuePos must not be null. */
private void updateQueuePosition() {
if (PlaybackService.finishAction(mState) == SongTimeline.FINISH_RANDOM) {
// Not very useful in random mode; it will always show something
// like 11/13 since the timeline is trimmed to 10 previous songs.
// So just hide it.
mQueuePosView.setText(null);
} else {
PlaybackService service = PlaybackService.get(this);
mQueuePosView.setText(
(service.getTimelinePosition() + 1) + "/" + service.getTimelineLength());
}
mInfoTable.requestLayout(); // ensure queue pos column has enough room
}
