Index: third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js |
index 051eaad8139ae2b7cfc6808d0ac50f0cab20d6ac..7906348289e20254872b9c59568ca4cb25ee7c89 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/TabbedEditorContainer.js |
@@ -45,14 +45,14 @@ Sources.TabbedEditorContainer = class extends Common.Object { |
/** |
* @param {!Sources.TabbedEditorContainerDelegate} delegate |
* @param {!Common.Setting} setting |
- * @param {string} placeholderText |
+ * @param {!Element} placeholderElement |
*/ |
- constructor(delegate, setting, placeholderText) { |
+ constructor(delegate, setting, placeholderElement) { |
super(); |
this._delegate = delegate; |
this._tabbedPane = new UI.TabbedPane(); |
- this._tabbedPane.setPlaceholderText(placeholderText); |
+ this._tabbedPane.setPlaceholderElement(placeholderElement); |
this._tabbedPane.setTabDelegate(new Sources.EditorContainerTabDelegate(this)); |
this._tabbedPane.setCloseableTabs(true); |