GNOME Bugzilla – Bug 723523
overview: don't add a null desktop clone
Last modified: 2014-02-03 12:05:00 UTC
If there is no desktop window, getDesktopClone() returns null. In that case, we know that no animation is needed. Fixes a regression from b97f3a9ecf52183e86506af622a08eaa7e3846bb
Created attachment 267935 [details] [review] overview: don't add a null desktop clone
Review of attachment 267935 [details] [review]: OK.
Attachment 267935 [details] pushed as 3fc478a - overview: don't add a null desktop clone
*** Bug 723485 has been marked as a duplicate of this bug. ***