| Index: Source/devtools/front_end/sources/SourcesView.js
|
| diff --git a/Source/devtools/front_end/sources/SourcesView.js b/Source/devtools/front_end/sources/SourcesView.js
|
| index 835e68d471913146d5868807bb545df7e54e6227..97d6302d767a680cff4afacff050afead23adc85 100644
|
| --- a/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -30,7 +30,7 @@
|
| this._sourceFramesByUISourceCode = new Map();
|
|
|
| var tabbedEditorPlaceholderText = WebInspector.isMac() ? WebInspector.UIString("Hit Cmd+P to open a file") : WebInspector.UIString("Hit Ctrl+P to open a file");
|
| - this._editorContainer = new WebInspector.TabbedEditorContainer(this, "previouslyViewedFiles", tabbedEditorPlaceholderText);
|
| + this._editorContainer = new WebInspector.TabbedEditorContainer(this, WebInspector.settings.createLocalSetting("previouslyViewedFiles", []), tabbedEditorPlaceholderText);
|
| this._editorContainer.show(this._searchableView.element);
|
| this._editorContainer.addEventListener(WebInspector.TabbedEditorContainer.Events.EditorSelected, this._editorSelected, this);
|
| this._editorContainer.addEventListener(WebInspector.TabbedEditorContainer.Events.EditorClosed, this._editorClosed, this);
|
|
|