Minimap jitters under Ubuntu 10.10

Tor 9 years ago updated 9 years ago 1
When dragging on the minimap, the page jitters as if there were some kind of rounding error. Dragging the scrollbar is completely smooth.

The problem only appears when the minimap extends beyond the viewport.
This is fixed in 2051. Cool! I can't see it in the changelog, though.