Scrolling with the wheel doesn't update scrollbar
Submitted by Josselin Mouette
Assigned to Behnam Esfahbod @behnam
Link to original bug (#443654)
Description
[ forwarded from http://bugs.debian.org/427387 by Nicolas Caniart ]
When scrolling with the mouse wheel over the characters, the screen scrolls as expected, but the scrollbar on the right side is not updated. When clicking on a character, the scrollbar moves to its correct position.
Version: 2.22.x
Resolution: RESOLVED FIXED