| 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 a384800d3274f73260cd666b400f95cb2bf31ced..18d4198187c6d6ecd3b7244bafccaefb8b4c3858 100644
|
| --- a/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -77,7 +77,7 @@ WebInspector.SourcesView = function(workspace, sourcesPanel)
|
| event.returnValue = WebInspector.UIString("DevTools have unsaved changes that will be permanently lost.");
|
| WebInspector.inspectorView.showPanel("sources");
|
| for (var i = 0; i < unsavedSourceCodes.length; ++i)
|
| - WebInspector.panels.sources.showUISourceCode(unsavedSourceCodes[i]);
|
| + WebInspector.Revealer.reveal(unsavedSourceCodes[i]);
|
| }
|
| window.addEventListener("beforeunload", handleBeforeUnload, true);
|
|
|
|
|