[gnome-shell] backgroundMenu: destroy menu when actor is destroyed

[Ray Strode <halfline src gnome org>]

commit 3c1f389e25636e475e958f321a20b6d5bcb0f304
Author: Ray Strode <rstrode redhat com>
Date:   Mon Apr 1 23:57:55 2013 -0400

    backgroundMenu: destroy menu when actor is destroyed
    
    This fixes a leak.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=697119

 js/ui/backgroundMenu.js |    6 ++++++
 1 files changed, 6 insertions(+), 0 deletions(-)
---
diff --git a/js/ui/backgroundMenu.js b/js/ui/backgroundMenu.js
index cc6c653..538abd5 100644
--- a/js/ui/backgroundMenu.js
+++ b/js/ui/backgroundMenu.js
@@ -55,4 +55,10 @@ function addBackgroundMenu(actor) {
             openMenu();
     });
     actor.add_action(clickAction);
+
+    actor.connect('destroy', function() {
+                      actor._backgroundMenu.destroy();
+                      actor._backgroundMenu = null;
+                      actor._backgroundManager = null;
+                  });
 }