Fix search box

after it was broken by 202c7b7783865d119afccc4e403ad85bf5846530

js/ctrls/nav.js

@@ -21,6 +21,12 @@ angular
   // initially collapsed in mobile resolution
   scope.collapsed = true;
 
+  scope.onDownloadFilter = function() {
+    // Forward to MainCtrl.
+    scope.$parent.downloadFilter = scope.downloadFilter;
+    scope.$parent.onDownloadFilter();
+  };
+
   // manage download functions
   scope.forcePauseAll = function() {
     rpc.once('forcePauseAll', []);