Searched refs:playerWidthPlusPadding (Results 1 – 2 of 2) sorted by relevance
130 var playerWidthPlusPadding: Int = 0 variable in com.android.systemui.media.MediaCarouselScrollHandler135 var newRelativeScroll = visibleMediaIndex * playerWidthPlusPadding136 if (scrollIntoCurrentMedia > playerWidthPlusPadding) {137 newRelativeScroll += playerWidthPlusPadding -138 (scrollIntoCurrentMedia - playerWidthPlusPadding)195 if (playerWidthPlusPadding == 0) { in onTouchEvent()200 onMediaScrollingChanged(relativeScrollX / playerWidthPlusPadding, in onTouchEvent()201 relativeScrollX % playerWidthPlusPadding) in onTouchEvent()293 val relativePos = scrollView.relativeScrollX % playerWidthPlusPadding in onTouch()295 if (relativePos > playerWidthPlusPadding / 2) { in onTouch()[all …]
671 val playerWidthPlusPadding = carouselMeasureWidth + in <lambda>() constant679 mediaCarouselScrollHandler.playerWidthPlusPadding = playerWidthPlusPadding in <lambda>()