File background-image-caching-fix.patch of Package gnome-shell.1083

Index: gnome-shell-3.10.4/js/ui/background.js
===================================================================
--- gnome-shell-3.10.4.orig/js/ui/background.js
+++ gnome-shell-3.10.4/js/ui/background.js
@@ -99,10 +99,15 @@ const BackgroundCache = new Lang.Class({
 
         let signalId = monitor.connect('changed',
                                        Lang.bind(this, function() {
+                                           let purged_images = [];
                                            for (let i = 0; i < this._images.length; i++) {
-                                               if (this._images[i].get_filename() == filename)
-                                                   this._images.splice(i, 1);
+                                               let curimg = this._images[i];
+                                               if (curimg.get_filename() == filename)
+                                                   continue;
+
+                                               purged_images.push(curimg);
                                            }
+                                           this._images = purged_images;
 
                                            monitor.disconnect(signalId);