| 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);
|
|
|
|
|