diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2013-09-16 19:45:43 +0200 |
|---|---|---|
| committer | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2013-09-16 19:45:43 +0200 |
| commit | ddd53b3970925478d2b3648259a2789bddd127d3 (patch) | |
| tree | f967c5332c9821635c9cfeaf5f14783b6aaf5c13 /panel | |
| parent | 34293419cdc9c9aa637c7d8d61b4209b24986ec0 (diff) | |
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 LP: #1224340 (bzr r3506.4.2)
Diffstat (limited to 'panel')
0 files changed, 0 insertions, 0 deletions