[DevTools] Add minimum size to WebInspector.View.

Source/devtools/front_end/SourcesEditor.js

Index: Source/devtools/front_end/SourcesEditor.js
diff --git a/Source/devtools/front_end/SourcesEditor.js b/Source/devtools/front_end/SourcesEditor.js
index 23e9de9adcfe1954800fdd198b213f7740512bd9..5165ec45e5c4f6a9b0eda670c89022ca9fde7000 100644
--- a/Source/devtools/front_end/SourcesEditor.js
+++ b/Source/devtools/front_end/SourcesEditor.js
@@ -636,6 +636,7 @@ WebInspector.SourcesEditor.prototype = {
 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);