MD Downloads: use "big search" box like MD history

chrome/browser/resources/md_downloads/manager.js

Index: chrome/browser/resources/md_downloads/manager.js
diff --git a/chrome/browser/resources/md_downloads/manager.js b/chrome/browser/resources/md_downloads/manager.js
index 4700cff65a9dc23dbca583361ca47aefa420a613..2c4c659d5afda8bcd3cfdc1ac4bbf24ff98bed46 100644
--- a/chrome/browser/resources/md_downloads/manager.js
+++ b/chrome/browser/resources/md_downloads/manager.js
@@ -16,6 +16,11 @@ cr.define('downloads', function() {
         type: Array,
         value: function() { return []; },
       },
+
+      spinnerActive_: {
+        type: Boolean,
+        notify: true,
+      },
     },
 
     hostAttributes: {
@@ -59,6 +64,7 @@ cr.define('downloads', function() {
       this.splice.apply(this, ['items_', index, 0].concat(list));
       this.updateHideDates_(index, index + list.length);
       this.removeAttribute('loading');
+      this.spinnerActive_ = false;
     },
 
     /** @private */