diff options
| author | Marco Trevisan (Treviño) <mail@3v1n0.net> | 2013-09-18 14:38:47 +0000 |
|---|---|---|
| committer | Tarmac <> | 2013-09-18 14:38:47 +0000 |
| commit | 25b39c5e28d7a21156948736951819551c1a43d1 (patch) | |
| tree | de4fc8e8d60940ac9ebeecdfc7c2277682155038 /unity-standalone | |
| parent | 74cd7bef51071f6fd2015ed4d9609e0b6209a94c (diff) | |
| parent | a162655badd2c32341fbdd35211bb9c8b73eb056 (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: https://bugs.launchpad.net/bugs/1224340. Approved by PS Jenkins bot, Brandon Schaefer. (bzr r3515)
Diffstat (limited to 'unity-standalone')
0 files changed, 0 insertions, 0 deletions