We checked things on a debian unstable (run in virtualbox) directly, the bug was NOT present. (Other problems I reported elsewhere: keys z and w, slow rendering, and complete reload of the page during scrolling, are also solved. The only strange thing was half a page of scrolling, rather than one line, for up- or downarrow.) Thanks for all your efforts!
-- Search gets confused at end of page https://bugs.launchpad.net/bugs/612231 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs