Index: third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js |
index ee1740897427e2e60afaa5464df1c447a10e45b1..9d810da91373e690c4bac7ba9515fb1c4664819b 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sdk/ResourceTreeModel.js |
@@ -289,8 +289,13 @@ WebInspector.ResourceTreeModel.prototype = { |
this._inspectedPageURL = frame.url; |
this.dispatchEventToListeners(WebInspector.ResourceTreeModel.EventTypes.FrameNavigated, frame); |
- if (frame.isMainFrame()) |
+ if (frame.isMainFrame()) { |
this.dispatchEventToListeners(WebInspector.ResourceTreeModel.EventTypes.MainFrameNavigated, frame); |
+ if (WebInspector.moduleSetting("preserveConsoleLog").get()) |
+ WebInspector.console.log(WebInspector.UIString("Navigated to %s", frame.url)); |
+ else |
+ this.target().consoleModel.clear(); |
+ } |
if (addedOrigin) |
this._addSecurityOrigin(addedOrigin); |