DevTools: setting to auto-reveal in navigator

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 5348993f0784b4615bccb078b009b0bf6cb0aa1f..e8f2b108ce79f16cdcc55fdc3683405a8cda49cd 100644
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesPanel.js
@@ -355,8 +355,9 @@ WebInspector.SourcesPanel.prototype = {
 
     /**
      * @param {!WebInspector.UISourceCode} uiSourceCode
+     * @param {boolean=} skipReveal
      */
-    _revealInNavigator: function(uiSourceCode)
+    _revealInNavigator: function(uiSourceCode, skipReveal)
     {
         var extensions = self.runtime.extensions(WebInspector.NavigatorView);
         Promise.all(extensions.map(extension => extension.instance())).then(filterNavigators);
@@ -370,7 +371,7 @@ WebInspector.SourcesPanel.prototype = {
                 var navigatorView = /** @type {!WebInspector.NavigatorView} */ (objects[i]);
                 if (navigatorView.accept(uiSourceCode)) {
                     navigatorView.revealUISourceCode(uiSourceCode, true);
-                    WebInspector.viewManager.showView(extensions[i].descriptor()["viewId"]);
+                    WebInspector.viewManager.showView(extensions[i].descriptor()["viewId"], skipReveal);

[lushnikov, 2016/08/25 20:41:54]

let's select tab explicitly via tabbedPane.selectTab; i don't like the
skipReveal flag in the showView method

[luoe, 2016/08/26 18:33:45]

Done with _navigatorTabbedLocation.tabbedPane().selectTab

                 }
             }
         }
@@ -527,6 +528,8 @@ WebInspector.SourcesPanel.prototype = {
     {
         var uiSourceCode = /** @type {!WebInspector.UISourceCode} */ (event.data);
         this._editorChanged(uiSourceCode);
+        if (this.editorView.mainWidget() && WebInspector.moduleSetting("autoRevealInNavigator").get())
+            this._revealInNavigator(uiSourceCode, true);
     },
 
     /**