[DevTools] Add preferred size to WebInspector.View.

Source/devtools/front_end/InspectorView.js

 /*
  * Copyright (C) 2011 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 18 matching lines @@
  */
 
 /**
  * @constructor
  * @extends {WebInspector.VBox}
  */
 WebInspector.InspectorView = function()
 {
     WebInspector.VBox.call(this);
     WebInspector.Dialog.setModalHostView(this);
-    this.setMinimumSize(180, 72);
+    this.setConstraints(180, 72);
 
     // DevTools sidebar is a vertical split of panels tabbed pane and a drawer.
     this._drawerSplitView = new WebInspector.SplitView(false, true, "Inspector.drawerSplitViewState", 200, 200);
     this._drawerSplitView.hideSidebar();
     this._drawerSplitView.enableShowModeSaving();
     this._drawerSplitView.show(this.element);
 
     this._tabbedPane = new WebInspector.TabbedPane();
     this._tabbedPane.setRetainTabOrder(true, WebInspector.moduleManager.orderComparator(WebInspector.Panel, "name", "order"));
     this._tabbedPane.show(this._drawerSplitView.mainElement());
@@ skipping 438 matching lines @@
     {
         // If we didn't have enough space at the start, we may have wrong scroll offsets.
         if (document.body.scrollTop !== 0)
             document.body.scrollTop = 0;
         if (document.body.scrollLeft !== 0)
             document.body.scrollLeft = 0;
     },
 
     doResize: function()
     {
-        var size = this.minimumSize();
+        var size = this.constraints().minimum;
         var right = Math.min(0, window.innerWidth - size.width);
         this.element.style.right = right + "px";
         var bottom = Math.min(0, window.innerHeight - size.height);
         this.element.style.bottom = bottom + "px";
 
         if (window.innerWidth < size.width || window.innerHeight < size.height)
             window.addEventListener("scroll", this._onScrollBound, false);
         else
             window.removeEventListener("scroll", this._onScrollBound, false);
 
         WebInspector.VBox.prototype.doResize.call(this);
         this._onScroll();
     },
 
     __proto__: WebInspector.VBox.prototype
 };