It does it with or without supertux being closed / open. Supertux just seems to be helping at times.
-- Panels going random in Gnome https://launchpad.net/bugs/57649 -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs