[DevTools] Add minimum size to WebInspector.View.

Source/devtools/front_end/SourcesEditor.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.Object}
@@ skipping 618 matching lines @@
     __proto__: WebInspector.Object.prototype
 }
 
 /**
  * @constructor
  * @extends {WebInspector.VBox}
  */
 WebInspector.SourcesView = function()
 {
     WebInspector.VBox.call(this);
+    this.setMinimumSize(50, 25);
     this.registerRequiredCSS("sourcesView.css");
     this.element.id = "sources-panel-sources-view";
     this.element.addEventListener("dragenter", this._onDragEnter.bind(this), true);
     this.element.addEventListener("dragover", this._onDragOver.bind(this), true);
 }
 
 WebInspector.SourcesView.dragAndDropFilesType = "Files";
 
 WebInspector.SourcesView.prototype = {
     _onDragEnter: function (event)
@@ skipping 50 matching lines @@
 {
 }
 
 WebInspector.SourcesEditor.EditorAction.prototype = {
     /**
      * @param {!WebInspector.SourcesEditor} sourcesEditor
      * @return {!Element}
      */
     button: function(sourcesEditor) { }
 }