[DevTools] Add minimum size to WebInspector.View.

Source/devtools/front_end/TabbedPane.js

Index: Source/devtools/front_end/TabbedPane.js
diff --git a/Source/devtools/front_end/TabbedPane.js b/Source/devtools/front_end/TabbedPane.js
index 4d69b54e900ae660942d819d2e4db6c203f65879..b780cbb49747b87169c641504dbdc009999b6b8c 100644
--- a/Source/devtools/front_end/TabbedPane.js
+++ b/Source/devtools/front_end/TabbedPane.js
@@ -377,6 +377,19 @@ WebInspector.TabbedPane.prototype = {
             this.selectTab(effectiveTab.id);
     },
 
+    /**
+     * @return {!Size}
+     */
+    calculateMinimumSize: function()
+    {
+        var size = WebInspector.VBox.prototype.calculateMinimumSize.call(this);
+        if (this._verticalTabLayout)
+            size.width += this._headerElement.offsetWidth;
+        else
+            size.height += this._headerElement.offsetHeight;
+        return size;
+    },
+
     _updateTabElements: function()
     {
         WebInspector.invokeOnceAfterBatchUpdate(this, this._innerUpdateTabElements);