| Index: Source/devtools/front_end/main/Main.js
|
| diff --git a/Source/devtools/front_end/main/Main.js b/Source/devtools/front_end/main/Main.js
|
| index d5231b793a4afc5dcc7f62d77d63950646f766a3..334de013f7cda63e06cd9a1e0f50677c46f36236 100644
|
| --- a/Source/devtools/front_end/main/Main.js
|
| +++ b/Source/devtools/front_end/main/Main.js
|
| @@ -611,7 +611,7 @@ WebInspector.Main.prototype = {
|
| WebInspector.reload = function()
|
| {
|
| InspectorAgent.reset();
|
| - window.location.reload();
|
| + window.top.location.reload();
|
| }
|
|
|
| /**
|
|
|