/** 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 }