Looking at http://git.gnome.org/browse/mutter/commit/?id=7253a75b18452f71db3f2d58d0b0e5ccc6ff16cc it seems as if it may be a recent update to gtk+ that is causing this bug. I am testing the patch to mutter right now, but since it is difficult to reproduce consistently, it will take a while to be sure it is working (or not).
** Patch added: "mutter_fix_961591.debdiff" https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/961591/+attachment/2914135/+files/mutter_fix_961591.debdiff -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/961591 Title: Windows border graphics corrupted To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/961591/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
