Index: third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
diff --git a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
index 6bfd606d37c57e51f793a36773238ff4ad8e500c..f7fd80cd5e67282c59641c97b6143acbca4d01ee 100644 |
--- a/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
+++ b/third_party/WebKit/Source/devtools/front_end/sources/SourcesView.js |
@@ -15,7 +15,7 @@ Sources.SourcesView = class extends UI.VBox { |
super(); |
this.registerRequiredCSS('sources/sourcesView.css'); |
this.element.id = 'sources-panel-sources-view'; |
- this.setMinimumAndPreferredSizes(50, 52, 150, 100); |
+ this.setMinimumAndPreferredSizes(80, 52, 150, 100); |
var workspace = Workspace.workspace; |