Let me correct my previous comment #18: Previous versions of the linux kernel (e.g., 3.2.0-27-generic) exhibit exactly the same vertical scroll behavior as your latest patched version. So I can second Anca: "Works for me". :)
Best, Jonas
Let me correct my previous comment #18: Previous versions of the linux kernel (e.g., 3.2.0-27-generic) exhibit exactly the same vertical scroll behavior as your latest patched version. So I can second Anca: "Works for me". :)
Best,
Jonas