History: Disable the 'remove' button after it's clicked.

chrome/browser/resources/history.js

 // Copyright (c) 2011 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.
 
 ///////////////////////////////////////////////////////////////////////////////
 // Globals:
 var RESULTS_PER_PAGE = 150;
 var MAX_SEARCH_DEPTH_MONTHS = 18;
 
 // Amount of time between pageviews that we consider a 'break' in browsing,
@@ skipping 976 matching lines @@
     }
   }
   if (ids.length > 0) {
     queue.push(date.valueOf() / 1000);
     queue.push(ids);
   }
   if (queue.length > 0) {
     if (confirm(localStrings.getString('deletewarning'))) {
       deleteQueue = deleteQueue.concat(queue);
       deleteNextInQueue();
+      historyView.removeButton_.disabled = true;
     } else {
       // If the remove is cancelled, return the checkboxes to their
       // enabled, non-line-through state.
       for (var i = 0; i < disabledItems.length; i++) {
         var link = $('id-' + disabledItems[i].name);
         disabledItems[i].disabled = false;
         link.style.textDecoration = '';
       }
     }
   }
@@ skipping 57 matching lines @@
  * else).
  */
 function historyDeleted() {
   window.console.log('History deleted');
   var anyChecked = document.querySelector('.entry input:checked') != null;
   if (!(historyView.getEditMode() && anyChecked))
     historyView.reload();
 }
 
 document.addEventListener('DOMContentLoaded', load);