DevTools: Let the drawer tabs be reordered

third_party/WebKit/Source/devtools/front_end/ui/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 189 matching lines @@
     console.assert(!this._tabsById.has(id), `Tabbed pane already contains a tab with id '${id}'`);
     this._tabsById.set(id, tab);
     if (index !== undefined)
       this._tabs.splice(index, 0, tab);
     else
       this._tabs.push(tab);
     this._tabsHistory.push(tab);
     if (this._tabsHistory[0] === tab && this.isShowing())
       this.selectTab(tab.id, userGesture);
     this._updateTabElements();
+    this.dispatchEventToListeners(UI.TabbedPane.Events.TabOrderChanged, this._tabs);

[dgozman, 2017/05/15 17:03:36]

Looks like a band-aid fix. Instead, client should do whatever is needed when
calling appendTab().

[einbinder, 2017/05/23 00:12:25]

Done.

   }
 
   /**
    * @param {string} id
    * @param {boolean=} userGesture
    */
   closeTab(id, userGesture) {
     this.closeTabs([id], userGesture);
   }
 
@@ skipping 1005 matching lines @@
    * @param {!Array.<string>} ids
    */
   closeTabs(tabbedPane, ids) {},
 
   /**
    * @param {string} tabId
    * @param {!UI.ContextMenu} contextMenu
    */
   onContextMenu(tabId, contextMenu) {}
 };