From 24967c7cbea864f9b22fc4ff2e395184d56e479b Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Thu, 6 Jun 2013 23:32:53 +0200
Subject: [PATCH] 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 file changed, 7 insertions(+)

diff --git a/extensions/xrandr-indicator/extension.js b/extensions/xrandr-indicator/extension.js
index e9be23c1..b86c3542 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();