From a3c438c4ed667814496a2f5948162ad4d5644320 Mon Sep 17 00:00:00 2001
From: Mike Taylor <mike@indexdata.com>
Date: Wed, 23 Apr 2014 17:17:29 +0100
Subject: [PATCH] Rename variable.

---
 src/mkws-widgets.js |   10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/mkws-widgets.js b/src/mkws-widgets.js
index 2ec8fb5..06047f1 100644
--- a/src/mkws-widgets.js
+++ b/src/mkws-widgets.js
@@ -268,11 +268,11 @@ mkws.registerWidgetType('Navi', function() {
 
     this.team.queue("navi").subscribe(function() {
 	// This is very low-level poking around inside the filter structure
-	var filters = that.team.filters().list();
+	var list = that.team.filters().list();
 	var text = "";
 
-	for (var i in filters) {
-	    var filter = filters[i];
+	for (var i in list) {
+	    var filter = list[i];
 	    if (filter.id) {
 		if (text) text += " | ";
 		text += M('source') + ': <a class="crossout" href="#" onclick="mkws.delimitTarget(\'' + teamName +
@@ -280,8 +280,8 @@ mkws.registerWidgetType('Navi', function() {
 	    }
 	}
 
-	for (var i in filters) {
-	    var filter = filters[i];
+	for (var i in list) {
+	    var filter = list[i];
 	    if (!filter.id) {
 		if (text) text += " | ";
 		text += M(filter.field) + ': <a class="crossout" href="#" onclick="mkws.delimitQuery(\'' + teamName +
-- 
1.7.10.4