Tweak Navi widget for modified team.filters behaviour.

diff --git a/src/mkws-widgets.js b/src/mkws-widgets.js
index c04c3f9..2ec8fb5 100644 (file)
--- a/src/mkws-widgets.js
+++ b/src/mkws-widgets.js
@@ -268,7 +268,7 @@ 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();
+       var filters = that.team.filters().list();
        var text = "";
 
        for (var i in filters) {