Merge from Chromium at DEPS revision 261286
This commit was generated by merge_to_master.py.
Change-Id: I756d37445fd7f470b1689ad81318e715d4244987
diff --git a/Source/devtools/front_end/SourcesView.js b/Source/devtools/front_end/SourcesView.js
index da99a3a..67f3f3c 100644
--- a/Source/devtools/front_end/SourcesView.js
+++ b/Source/devtools/front_end/SourcesView.js
@@ -16,7 +16,7 @@
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;