From 348f0faf228e3dd2651cb3e195fa952064975411 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Mon, 4 Feb 2013 23:58:20 +0100
Subject: [PATCH] windowsNavigator: fix a warning in disable()

---
 extensions/windowsNavigator/extension.js | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/extensions/windowsNavigator/extension.js b/extensions/windowsNavigator/extension.js
index c38a98f1..50beaa85 100644
--- a/extensions/windowsNavigator/extension.js
+++ b/extensions/windowsNavigator/extension.js
@@ -253,6 +253,8 @@ function removeInjection(object, injection, name) {
 }
 
 function disable() {
+    let i;
+
     for (i in workspaceInjections)
         removeInjection(Workspace.Workspace.prototype, workspaceInjections, i);
     for (i in winInjections)