It isn't really a big deal. I can live with it. But I thought perhaps this bug might have a more serious manifestation, waiting for an unfortunate user to fall into the rare coincidence that triggers it.
-- firefox doesn't theme properly https://launchpad.net/bugs/32233 -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs