Merge pull request #1 from mathematicalcoffee/master

Fix bug where you can't disable the extension
jancborchardt · Aug 30, 2012 · 6f7d136 · 6f7d136
2 parents 73282a5 + ac1ef8b
commit 6f7d136
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/distraction-free@jancborchardt.net/extension.js b/distraction-free@jancborchardt.net/extension.js
@@ -5,21 +5,23 @@ const Overview = imports.ui.main.overview;
 const Panel = imports.ui.main.panel;
 const MessageTray = imports.ui.main.messageTray;
 
+let showID, hideID;
+
 function init() {
 }
 
 function enable() {
     hideDistractions();
     Panel._activitiesButton.actor.hide();
-    Overview.connect('hiding', hideDistractions);
+    hideID = Overview.connect('hiding', hideDistractions);
-    Overview.connect('showing', showDistractions);
+    showID = Overview.connect('showing', showDistractions);
 }
 
 function disable() {
+    Overview.disconnect(showID);
+    Overview.disconnect(hideID);
     showDistractions();
     Panel._activitiesButton.actor.show();
-    Overview.disconnect(Overview.connect('hiding', hideDistractions));
-    Overview.disconnect(Overview.connect('showing', showDistractions));
 }
 
 function hideDistractions() {