| 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 b9601914e8ba26d2353375b7b6e002a24941000b..f7a1eafdcca323e948b7c09f892e643380484a01 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 {
|
|
|