Ubuntu
overlay-scrollbar package

  1. Bug #756243
  2. Comment #2

Comment 2 for bug 756243

Revision history for this message
Doug McMahon (mc3man) wrote : Re: animate the pager's colorization is not working correctly with mouse scroll wheel or touchpad scroll area

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