I doubt this problem is going to crop up on-demand; but I suspect at some point it'll repeat or somebody else will have it.
-- Navigation bar can end up 3x normal height https://launchpad.net/bugs/60724 -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
