From 087a9208cf0d64206ad03f8e6e0e51f8905e4b0b 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 7909dc79..6c75dabe 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();