| 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();
|
| + }
|
| };
|
|
|
|
|
|
|