I'm putting the patch here to see what it does to my karma. Up there, my "real" karma probably suffers, but I just have to give it a go.
-- auto-hidden panel sometime jumps to the top of the screen https://launchpad.net/bugs/48226 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
