| 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..f7d07e00d637ac424de02fe8be9077372d3ad328 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.setConstraints(50, 25, 150, 100);
|
|
|
| this._workspace = workspace;
|
| this._sourcesPanel = sourcesPanel;
|
|
|