DevTools: setting to auto-reveal in navigator

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

 // Copyright 2016 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @interface
  */
 WebInspector.View = function()
 {
 }
@@ skipping 307 matching lines @@
      * @param {string} viewId
      * @return {?WebInspector.View}
      */
     view: function(viewId)
     {
         return this._views.get(viewId);
     },
 
     /**
      * @param {string} viewId
+     * @param {boolean=} skipReveal
      * @return {!Promise}
      */
-    showView: function(viewId)
+    showView: function(viewId, skipReveal)
     {
         var view = this._views.get(viewId);
         if (!view) {
             console.error("Could not find view for id: '" + viewId + "' " + new Error().stack);
             return Promise.resolve();
         }
 
         var locationName = this._locationNameByViewId.get(viewId);
         if (locationName === "drawer-view")
             WebInspector.userMetrics.drawerShown(viewId);
 
         var location = view[WebInspector.ViewManager._Location.symbol];
         if (location) {
-            location._reveal();
+            if (!skipReveal)
+                location._reveal();
             return location.showView(view);
         }
 
         return this._resolveLocation(locationName).then(location => {
             if (!location)
                 throw new Error("Could not resolve location for view: " + viewId);
             location._reveal();
             return location.showView(view);
         });
     },
@@ skipping 459 matching lines @@
             this.appendView(view);
     },
 
     __proto__: WebInspector.ViewManager._Location.prototype
 }
 
 /**
  * @type {!WebInspector.ViewManager}
  */
 WebInspector.viewManager;