DevTools: tab selection after tabclose should not be a user gesture

Source/devtools/front_end/TabbedPane.js

 /*
  * Copyright (C) 2010 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 153 matching lines @@
      /**
       * @param {Array.<string>} ids
       * @param {boolean=} userGesture
       */
      closeTabs: function(ids, userGesture)
      {
          for (var i = 0; i < ids.length; ++i)
              this._innerCloseTab(ids[i], userGesture);
          this._updateTabElements();
          if (this._tabsHistory.length)
-             this.selectTab(this._tabsHistory[0].id, userGesture);
+             this.selectTab(this._tabsHistory[0].id, false);
      },
 
     /**
      * @param {string} id
      * @param {boolean=} userGesture
      */
     _innerCloseTab: function(id, userGesture)
     {
         if (!this._tabsById[id])
             return;
@@ skipping 795 matching lines @@
 {
 }
 
 WebInspector.TabbedPaneTabDelegate.prototype = {
     /**
      * @param {WebInspector.TabbedPane} tabbedPane
      * @param {Array.<string>} ids
      */
     closeTabs: function(tabbedPane, ids) { }
 }