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