Index: third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
index 81bbe255a0edbd20ad79e30667e89d4559b59189..8bb8c3fa4691b7802bd5bf24b9d40ebe44de33a7 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
@@ -207,6 +207,7 @@ UI.TabbedPane = class extends UI.VBox { |
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
einbinder
2017/05/23 00:12:25
Done.
|
} |
/** |