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