DevTools: Get rid of WebInspector.panels

Source/devtools/front_end/sources/SourcesView.js

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

[yurys, 2014/05/08 08:08:43]

Looks like you don't need Revealer here, sourcesPanel.showUISourceCode should
work.

[apavlov, 2014/05/08 11:00:51]

According to vsevik, sourcesPanel is here in error, it should not be present
from the design standpoint, so he advised using the revealer instead.

     }
     window.addEventListener("beforeunload", handleBeforeUnload, true);