| 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;
|
|
|