Bug 312956

The push mouse tracking is a very good option and I am very glad it exists!

I noticed these 3 annoyances when using the push function, which are probably 3 effects of one or more bugs in the zoom code:

 (a) Sometimes pushes are not registered:
 When trying to push in different directions (lets say I am in the bottom-left corner with my zoom area and I first push right (moving the mouse pointer to the right border of the screen and right away again to the center) and when its finished pushing/moving then I start pushing to the TOP ... in enough cases (to be annoying ;) the second move is not registered, so to make it happen you have to move the mouse again.

 (b) Consecutive pushes sometimes don't work:
I started playing around and wanted to push to any of the 4 screen corners and noticed that it started pushing, but at some point the pushes stopped even though I was not yet in the corner and also a repeated movement with the mouse in the right direction (at the screen border) did nothing. Even moving the mouse away from the border (to the center) and back onto the border did not work. Eventually I always got it to the corner, but with MANY tries in some cases.

 (c) Sometimes pushes are executed immediately and sometimes pushes are executed not at all and sometimes pushes are executed after a long time and sometimes pushes are executed after moving the mouse further "over and beyond" the screen border in which direction the push should go. This inconsistant behaviour is annoying and time consuming. As you switch between waiting, moving the mouse further or trying again (moving the mouse away and again towards and onto the screen border).


Reproducible: Always