shell: Damage below child surfaces on move to different workspace
authorAnder Conselvan de Oliveira <ander.conselvan.de.oliveira@intel.com>
Thu, 10 Apr 2014 12:35:58 +0000 (15:35 +0300)
committerKristian Høgsberg <krh@bitplanet.net>
Thu, 10 Apr 2014 17:06:22 +0000 (10:06 -0700)
commitfacc0ccf06850ec37972ed3002ae6783ef4cfbef
treec40549d32edabef67059644dfa8423b661160930
parent4e20e9b84778cc2c3526c447335b6975547f58cd
shell: Damage below child surfaces on move to different workspace

When moving from a surface from visible workspace to an invisible one
via a popup menu, the area below the menu wouldn't be repainted.

https://bugs.freedesktop.org/show_bug.cgi?id=76973
desktop-shell/shell.c