[gnome-shell-extensions] xrandr-indicator: stop processing RandR events when disabled

[Giovanni Campagna <gcampagna src gnome org>]

commit 24967c7cbea864f9b22fc4ff2e395184d56e479b
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Thu Jun 6 23:32:53 2013 +0200

    xrandr-indicator: stop processing RandR events when disabled
    
    It's hard to tell people to disconnect their signals, when we
    are the first to forget it...

 extensions/xrandr-indicator/extension.js |    7 +++++++
 1 files changed, 7 insertions(+), 0 deletions(-)
---
diff --git a/extensions/xrandr-indicator/extension.js b/extensions/xrandr-indicator/extension.js
index e9be23c..b86c354 100644
--- a/extensions/xrandr-indicator/extension.js
+++ b/extensions/xrandr-indicator/extension.js
@@ -64,6 +64,13 @@ const Indicator = new Lang.Class({
         this._screen.connect('changed', Lang.bind(this, this._randrEvent));
     },
 
+    destroy: function() [
+        if (this._screen)
+            this._screen.run_dispose();
+
+        this.parent();
+    },
+
     _randrEvent: function() {
         this.menu.removeAll();
         this._createMenu();