Comment 10 for bug 831336

not sure if related, but as of today* noticing weird potentially damage-related issues in gnome-terminal/chromium-browser:

if i have two tabs open and switch between them, the terminal/tab display doesn't always update. Sometimes only the tab contents get repainted, sometimes only the tab itself, sometimes neither. if I then unfocus the window, the terminal gets repainted appropriately. let me know if I should file a separate bug for that.

* possibly related to mutter/clutter upgrade? unclear to me...