| 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 d9ad72fd65cae6229ba246d3ef431aea7e4680b4..21868b1f9ccb21c22d9d161a616aa658bbcce439 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
|
| +++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js
|
| @@ -191,6 +191,7 @@ UI.TabbedPane = class extends UI.VBox {
|
| isCloseable = typeof isCloseable === 'boolean' ? isCloseable : this._closeableTabs;
|
| var tab = new UI.TabbedPaneTab(this, id, tabTitle, isCloseable, view, tabTooltip);
|
| tab.setDelegate(this._delegate);
|
| + console.assert(!this._tabsById[id], `Tabbed pane already contains a tab with id '${id}'`);
|
| this._tabsById[id] = tab;
|
| if (index !== undefined)
|
| this._tabs.splice(index, 0, tab);
|
|
|