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...
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...