DevTools: Set up utility context earlier (prevent from crash).

webkit/glue/devtools/js/devtools.js

 // Copyright (c) 2009 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.
 
 /**
  * @fileoverview Tools is a main class that wires all components of the
  * DevTools frontend together. It is also responsible for overriding existing
  * WebInspector functionality while it is getting upstreamed into WebCore.
  */
 goog.provide('devtools.Tools');
@@ skipping 92 matching lines @@
  * @private
  */
 devtools.ToolsAgent.prototype.updateFocusedNode_ = function(nodeId) {
   var node = this.domAgent_.getNodeForId(nodeId);
   WebInspector.updateFocusedNode(node);
 };
 
 
 /**
  * @param {string} url Url frame navigated to.
- * @param {bool} topLevel True iff top level navigation occurred.
  * @see tools_agent.h
  * @private
  */
-devtools.ToolsAgent.prototype.frameNavigate_ = function(url, topLevel) {
-  if (topLevel) {
-    this.reset();
-    // Do not reset Profiles panel.
-    var profiles = null;
-    if ('profiles' in WebInspector.panels) {
-      profiles = WebInspector.panels['profiles'];
-      delete WebInspector.panels['profiles'];
-    }
-    WebInspector.reset();
-    if (profiles != null) {
-      WebInspector.panels['profiles'] = profiles;
-    }
+devtools.ToolsAgent.prototype.frameNavigate_ = function(url) {
+  this.reset();
+  // Do not reset Profiles panel.
+  var profiles = null;
+  if ('profiles' in WebInspector.panels) {
+    profiles = WebInspector.panels['profiles'];
+    delete WebInspector.panels['profiles'];
+  }
+  WebInspector.reset();
+  if (profiles != null) {
+    WebInspector.panels['profiles'] = profiles;
   }
 };
 
 
 /**
  * @param {Object} message Message object to add.
  * @see tools_agent.h
  * @private
  */
 devtools.ToolsAgent.prototype.addMessageToConsole_ = function(message) {
@@ skipping 893 matching lines @@
       }
     };
   } else {
     var wrapper = {};
     wrapper.id_ = object.___devtools_id;
     wrapper.protoDepth_ = -1;
     section = new WebInspector.SidebarObjectPropertiesSection(wrapper, null);
   }
   elem.appendChild(section.element);
 };