| Index: Source/devtools/front_end/sources/SourcesView.js
|
| diff --git a/Source/devtools/front_end/sources/SourcesView.js b/Source/devtools/front_end/sources/SourcesView.js
|
| index 743e30b4439aabb3445f75f7c03df31c1566842a..1d3bf4588ee37412457949aa1b26b25deba2dbdf 100644
|
| --- a/Source/devtools/front_end/sources/SourcesView.js
|
| +++ b/Source/devtools/front_end/sources/SourcesView.js
|
| @@ -17,7 +17,7 @@ WebInspector.SourcesView = function(workspace, sourcesPanel)
|
| WebInspector.VBox.call(this);
|
| this.registerRequiredCSS("sources/sourcesView.css");
|
| this.element.id = "sources-panel-sources-view";
|
| - this.setMinimumAndPreferredSizes(50, 25, 150, 100);
|
| + this.setMinimumAndPreferredSizes(50, 52, 150, 100);
|
|
|
| this._workspace = workspace;
|
| this._sourcesPanel = sourcesPanel;
|
|
|