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

chrome/browser/resources/md_downloads/manager.js

 // Copyright 2015 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 cr.define('downloads', function() {
   var Manager = Polymer({
     is: 'downloads-manager',
 
     properties: {
       hasDownloads_: {
         observer: 'hasDownloadsChanged_',
         type: Boolean,
       },
 
       items_: {
         type: Array,
         value: function() { return []; },
       },
+
+      spinnerActive_: {
+        type: Boolean,
+        notify: true,
+      },
     },
 
     hostAttributes: {
       loading: true,
     },
 
     listeners: {
       'downloads-list.scroll': 'onListScroll_',
     },
 
@@ skipping 23 matching lines @@
 
     /**
      * @param {number} index
      * @param {!Array<!downloads.Data>} list
      * @private
      */
     insertItems_: function(index, list) {
       this.splice.apply(this, ['items_', index, 0].concat(list));
       this.updateHideDates_(index, index + list.length);
       this.removeAttribute('loading');
+      this.spinnerActive_ = false;
     },
 
     /** @private */
     itemsChanged_: function() {
       this.hasDownloads_ = this.items_.length > 0;
     },
 
     /**
      * @param {Event} e
      * @private
@@ skipping 103 matching lines @@
   Manager.removeItem = function(index) {
     Manager.get().removeItem_(index);
   };
 
   Manager.updateItem = function(index, data) {
     Manager.get().updateItem_(index, data);
   };
 
   return {Manager: Manager};
 });