| 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);
|
|
|