Index: webkit/glue/devtools/js/devtools.js |
=================================================================== |
--- webkit/glue/devtools/js/devtools.js (revision 12953) |
+++ webkit/glue/devtools/js/devtools.js (working copy) |
@@ -33,6 +33,7 @@ |
*/ |
devtools.ToolsAgent.prototype.reset = function() { |
this.domAgent_.reset(); |
+ this.netAgent_.reset(); |
this.domAgent_.getDocumentElementAsync(); |
}; |
@@ -114,11 +115,15 @@ |
/** |
+ * @param {string} url Url frame navigated to. |
+ * @param {bool} topLevel True iff top level navigation occurred. |
* @see tools_agent.h |
*/ |
devtools.ToolsAgent.prototype.frameNavigate = function(url, topLevel) { |
- this.reset(); |
- WebInspector.reset(); |
+ if (topLevel) { |
+ this.reset(); |
+ WebInspector.reset(); |
+ } |
}; |