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 1410bfe8e381ad0b3b500df67ff83bc2c63fda28..11cda75bd51e7af7bc17be60e1e03661552c9bd4 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); |