| Index: third_party/WebKit/Source/devtools/front_end/profiler/profilesPanel.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/profiler/profilesPanel.css b/third_party/WebKit/Source/devtools/front_end/profiler/profilesPanel.css
|
| index 3d86ce79c68df497de6ca8c3474afc36719ca3cd..7b257ec720f55db9471b5393faaf651f566d7aee 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/profiler/profilesPanel.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/profiler/profilesPanel.css
|
| @@ -67,10 +67,16 @@
|
| .profiles-toolbar {
|
| background-color: #f3f3f3;
|
| border-bottom: 1px solid #ccc;
|
| + flex-shrink: 0;
|
| }
|
|
|
| -.profiles-sidebar-tree-box {
|
| +.profiles-tree-sidebar {
|
| flex: auto;
|
| + overflow: hidden;
|
| +}
|
| +
|
| +.profiles-sidebar-tree-box {
|
| + overflow-y: auto;
|
| }
|
|
|
| .profile-view {
|
|
|