[DevTools] Add minimum size to WebInspector.View.

Source/devtools/front_end/TabbedPane.js

 /*
  * Copyright (C) 2010 Google Inc. All rights reserved.
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions are
  * met:
  *
  *     * Redistributions of source code must retain the above copyright
  * notice, this list of conditions and the following disclaimer.
  *     * Redistributions in binary form must reproduce the above
@@ skipping 65 matching lines @@
     {
         this._shrinkableTabs = shrinkableTabs;
     },
 
     /**
      * @type {boolean} verticalTabLayout
      */
     set verticalTabLayout(verticalTabLayout)
     {
         this._verticalTabLayout = verticalTabLayout;
+        this.invalidateMinimumSize();
     },
 
     /**
      * @type {boolean} closeableTabs
      */
     set closeableTabs(closeableTabs)
     {
         this._closeableTabs = closeableTabs;
     },
 
@@ skipping 183 matching lines @@
     {
         var tab = this._tabsById[id];
         if (!tab)
             return;
         if (this._currentTab && this._currentTab.id === id)
             return;
 
         this._hideCurrentTab();
         this._showTab(tab);
         this._currentTab = tab;
-        
+
         this._tabsHistory.splice(this._tabsHistory.indexOf(tab), 1);
         this._tabsHistory.splice(0, 0, tab);
         
         this._updateTabElements();
 
         var eventData = { tabId: id, view: tab.view, isUserGesture: userGesture };
         this.dispatchEventToListeners(WebInspector.TabbedPane.EventTypes.TabSelected, eventData);
     },
 
     /**
@@ skipping 68 matching lines @@
     headerResized: function()
     {
         this._updateTabElements();
     },
 
     wasShown: function()
     {
         var effectiveTab = this._currentTab || this._tabsHistory[0];
         if (effectiveTab)
             this.selectTab(effectiveTab.id);
+        this.invalidateMinimumSize();
+    },
+
+    /**
+     * @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);
     },
 
     /**
      * @param {string} text
      */
@@ skipping 725 matching lines @@
     {
         if (this._views.contains(id))
             return /** @type {!WebInspector.View} */ (this._views.get(id));
         var view = this._extensions[id] ? /** @type {!WebInspector.View} */ (this._extensions[id].instance()) : null;
         this._views.put(id, view);
         if (this._viewCallback && view)
             this._viewCallback(id, view);
         return view;
     }
 }