Hmmm, a little more use of the system reveals that sometimes also parts of the Gnome Panel get corrupted. This COULD possibly be related to tooltips being displayed there when switching workspaces, although I'll need to test this further. Also, sometimes, parts of my Gnome Terminal display the background image instead of its own contents; in this case, I am sure that that is related to a tooltip being displayed there before switching workspaces, as the dimensions and position of the see-through- background is exactly that of the tooltip.
** Attachment added: "Gnome Panel corruption in the middle of the top panel" https://bugs.launchpad.net/ubuntu/+bug/778083/+attachment/2118185/+files/More%20corruption.png -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/778083 Title: Switching workspaces does not always redraw everything necessary -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs