To clarify from above "Now if the thumb is used the pager stays visible all the time" - the pager never fades when using the thumb until after the thumb fades, you can start, stop, restart the thumb with the pager staying visible the whole time
To clarify from above
"Now if the thumb is used the pager stays visible all the time"
- the pager never fades when using the thumb until after the thumb fades, you can start, stop, restart the thumb with the pager staying visible the whole time