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..5f0bc388ee79086b137657c6b4fe26a9a983b89a 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.setMinimumSize(50, 25, 150, 150); |
vsevik
2014/03/28 16:13:26
150, 100
Should be enough for now.
dgozman
2014/03/28 18:05:02
Done.
|
this._workspace = workspace; |
this._sourcesPanel = sourcesPanel; |