Chromium Code Reviews| 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.
|
| } |
| /** |