DevTools: setting to auto-reveal in navigator

third_party/WebKit/Source/devtools/front_end/ui/View.js

Index: third_party/WebKit/Source/devtools/front_end/ui/View.js
diff --git a/third_party/WebKit/Source/devtools/front_end/ui/View.js b/third_party/WebKit/Source/devtools/front_end/ui/View.js
index a5f3fe2b01a5141aa3dcfb566c2f0b678d6534fb..85c66c4e164f2ba0750a03bc2d7268db0496a0f3 100644
--- a/third_party/WebKit/Source/devtools/front_end/ui/View.js
+++ b/third_party/WebKit/Source/devtools/front_end/ui/View.js
@@ -325,9 +325,10 @@ WebInspector.ViewManager.prototype = {
 
     /**
      * @param {string} viewId
+     * @param {boolean=} skipReveal
      * @return {!Promise}
      */
-    showView: function(viewId)
+    showView: function(viewId, skipReveal)
     {
         var view = this._views.get(viewId);
         if (!view) {
@@ -341,7 +342,8 @@ WebInspector.ViewManager.prototype = {
 
         var location = view[WebInspector.ViewManager._Location.symbol];
         if (location) {
-            location._reveal();
+            if (!skipReveal)
+                location._reveal();
             return location.showView(view);
         }