| 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 = {
|
|
|