[DevTools] Add preferred size to WebInspector.View.

Source/devtools/front_end/SourcesView.js

 // Copyright 2014 The Chromium Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 /**
  * @constructor
  * @implements {WebInspector.TabbedEditorContainerDelegate}
  * @implements {WebInspector.Searchable}
  * @implements {WebInspector.Replaceable}
  * @extends {WebInspector.VBox}
  * @param {!WebInspector.Workspace} workspace
  * @param {!WebInspector.SourcesPanel} sourcesPanel
  */
 WebInspector.SourcesView = function(workspace, sourcesPanel)
 {
     WebInspector.VBox.call(this);
     this.registerRequiredCSS("sourcesView.css");
     this.element.id = "sources-panel-sources-view";
-    this.setMinimumSize(50, 25);
+    this.setMinimumSize(50, 25, 150, 150);

[vsevik, 2014/03/28 16:13:26]

150, 100

Should be enough for now.

[dgozman, 2014/03/28 18:05:02]

Done.

 
     this._workspace = workspace;
     this._sourcesPanel = sourcesPanel;
 
     this._searchableView = new WebInspector.SearchableView(this);
     this._searchableView.setMinimalSearchQuerySize(0);
     this._searchableView.show(this.element);
 
     /** @type {!Map.<!WebInspector.UISourceCode, !WebInspector.SourceFrame>} */
     this._sourceFramesByUISourceCode = new Map();
@@ skipping 649 matching lines @@
 {
 }
 
 WebInspector.SourcesView.EditorAction.prototype = {
     /**
      * @param {!WebInspector.SourcesView} sourcesView
      * @return {!Element}
      */
     button: function(sourcesView) { }
 }