-
Committer:
Tarmac
-
Author(s):
Marco Trevisan (Treviño)
-
Date:
2013-09-18 14:38:47 UTC
-
mfrom:
(3506.4.3 damage-dash)
-
Revision ID:
tarmac-20130918143847-op724oi216guruvs
UnityShell: redraw the dash also if a non-blurred area is damaged
If the dash is damaged, but not the blurred area, it won't redraw. We need
to draw it, in order to avoid flickering of its border.
Also, add the redraw_view_if_damaged utility function to redraw a view if
really needed. Fixes: https://bugs.launchpad.net/bugs/1224340.
Approved by PS Jenkins bot, Brandon Schaefer.