Comment 4 for bug 742134

Revision history for this message
Ragas (bjoern-online) wrote :

I would like it too if the pager was draggable or the thumb was catched when I move the mouse to the edge of a maximized window.
It would spare the time to move back the pointer.

Wouldn't it actually feel quite the same if the pager was draggable or the thumb was catched, in this case?
the only difference would be that in the second case you could also scroll by clicking ... which would be one more possibility to scroll but might feel a little weird on the other hand.

On non maximized windows I don't think this would be useful, since normally at least I am unable to hit the pager.