DevTools: introduce view locations, allow opening views by id.

third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js

Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
index 4a26bf8319569a9a23def6c3e9ef501b5bec473c..33d4954150a9f2f7c29362168de3ce53166919cb 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
@@ -29,6 +29,7 @@
  * @extends {WebInspector.Panel}
  * @implements {WebInspector.ContextMenu.Provider}
  * @implements {WebInspector.TargetManager.Observer}
+ * @implements {WebInspector.ViewLocationResolver}
  */
 WebInspector.SourcesPanel = function()
 {
@@ -214,6 +215,17 @@ WebInspector.SourcesPanel.prototype = {
     },
 
     /**
+     * @override
+     * @param {string} locationName
+     * @return {?WebInspector.ViewLocation}
+     */
+    resolveLocation: function(locationName)
+    {
+        WebInspector.inspectorView.setCurrentPanel(WebInspector.SourcesPanel.instance());
+        return this._navigatorTabbedPane;
+    },
+
+    /**
      * @return {boolean}
      */
     _ensureSourcesViewVisible: function()
@@ -405,7 +417,7 @@ WebInspector.SourcesPanel.prototype = {
      */
     _revealInNavigator: function(uiSourceCode)
     {
-        var extensions = self.runtime.extensions("view").filter(extension => extension.descriptor()["location"] === "navigator-view");
+        var extensions = self.runtime.extensions(WebInspector.NavigatorView);
         Promise.all(extensions.map(extension => extension.instance())).then(filterNavigators);

[dgozman, 2016/08/03 19:18:18]

runtime.allInstances()

[pfeldman, 2016/08/03 21:52:18]

Done.

 
         /**
@@ -416,8 +428,8 @@ WebInspector.SourcesPanel.prototype = {
             for (var i = 0; i < objects.length; ++i) {
                 var navigatorView = /** @type {!WebInspector.NavigatorView} */ (objects[i]);
                 if (navigatorView.accept(uiSourceCode)) {
-                    navigatorView.revealWidget();
                     navigatorView.revealUISourceCode(uiSourceCode, true);
+                    WebInspector.viewManager.showView(extensions[i].descriptor()["viewId"]);
                 }
             }
         }