GNOME 3.10 Released

I've had this problem with some mice which have very small scroll increments (typically they make a clicking sound) and which compensate by only sending scroll signals to the PC every 3 or 4 clicks.

With, e.g. the Microsoft white mice I have never had this problem.

It's unfortunately an issue of stupid design rather than build quality, so you can't avoid the problem by just buying expensive mice.