Index: Source/devtools/front_end/SourcesEditor.js |
diff --git a/Source/devtools/front_end/SourcesEditor.js b/Source/devtools/front_end/SourcesEditor.js |
index 7454edcb38f8f901383a479108baf2cfe76b1e2c..6f0805097f86970868d5688c2df6af658950039f 100644 |
--- a/Source/devtools/front_end/SourcesEditor.js |
+++ b/Source/devtools/front_end/SourcesEditor.js |
@@ -16,6 +16,7 @@ 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._workspace = workspace; |
this._sourcesPanel = sourcesPanel; |