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
-- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/756243 Title: animate the pager's colorization is not working correctly with mouse scroll wheel or touchpad scroll area -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
