Ticket #1864 (closed bug: fixed)
PanZoomBar: slider can still get out of panzoombar area
|Reported by:||bartvde||Owned by:||crschmidt|
Currently it is possible to get the slider out of the panzoombar area, e.g. by starting a drag and then moving the mouse to right end of the page, and dragging up and down a few times.