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..c51af469d8c7a8fad7bdd5c918fea4188eb7bfe6 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
+++ b/third_party/WebKit/Source/devtools/front_end/ui/TabbedPane.js |
@@ -804,7 +804,7 @@ UI.TabbedPane = class extends UI.VBox { |
* @param {number} index |
*/ |
_insertBefore(tab, index) { |
- this._tabsElement.insertBefore(tab._tabElement || null, this._tabsElement.childNodes[index]); |
+ this._tabsElement.insertBefore(tab.tabElement, this._tabsElement.childNodes[index]); |
einbinder
2017/05/23 00:12:25
_tabElement could be null, but insertBefore actual
|
var oldIndex = this._tabs.indexOf(tab); |
this._tabs.splice(oldIndex, 1); |
if (oldIndex < index) |
@@ -1034,7 +1034,6 @@ UI.TabbedPaneTab = class { |
tabElement.tabIndex = -1; |
UI.ARIAUtils.markAsTab(tabElement); |
UI.ARIAUtils.setSelected(tabElement, false); |
- tabElement.selectTabForTest = this._tabbedPane.selectTab.bind(this._tabbedPane, this.id, true); |
einbinder
2017/05/23 00:12:25
This was unused.
|
var titleElement = tabElement.createChild('span', 'tabbed-pane-header-tab-title'); |
titleElement.textContent = this.title; |