Rename variable.
authorMike Taylor <mike@indexdata.com>
Wed, 23 Apr 2014 16:17:29 +0000 (17:17 +0100)
committerMike Taylor <mike@indexdata.com>
Wed, 23 Apr 2014 16:17:29 +0000 (17:17 +0100)
src/mkws-widgets.js

index 2ec8fb5..06047f1 100644 (file)
@@ -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 +