Index: Source/devtools/front_end/InspectedPagePlaceholder.js |
diff --git a/Source/devtools/front_end/InspectedPagePlaceholder.js b/Source/devtools/front_end/InspectedPagePlaceholder.js |
index 2edadcc38c3b6e3e3f7140d6ea762e31f40c0866..913e55fc33031f9535b13d149ea50203414bf9be 100644 |
--- a/Source/devtools/front_end/InspectedPagePlaceholder.js |
+++ b/Source/devtools/front_end/InspectedPagePlaceholder.js |
@@ -11,6 +11,7 @@ WebInspector.InspectedPagePlaceholder = function() |
WebInspector.View.call(this); |
WebInspector.zoomManager.addEventListener(WebInspector.ZoomManager.Events.ZoomChanged, this._onZoomChanged, this); |
this._margins = { top: false, right: false, bottom: false, left: false }; |
+ this.setMinimumSize(WebInspector.InspectedPagePlaceholder.Constraints.Width, WebInspector.InspectedPagePlaceholder.Constraints.Height); |
}; |
WebInspector.InspectedPagePlaceholder.Constraints = { |