Index: Source/devtools/front_end/SourcesView.js |
diff --git a/Source/devtools/front_end/SourcesView.js b/Source/devtools/front_end/SourcesView.js |
index da99a3a3388b45f9c2051d7689cb0bfd0a9df309..67f3f3c50ccda8aa32040533683e52d6b698e775 100644 |
--- a/Source/devtools/front_end/SourcesView.js |
+++ b/Source/devtools/front_end/SourcesView.js |
@@ -16,7 +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.setMinimumAndPreferredSizes(50, 25, 150, 100); |
this._workspace = workspace; |
this._sourcesPanel = sourcesPanel; |