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