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