| Index: third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
|
| diff --git a/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css b/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
|
| index 2eac71d5c2ac16ab8f43f97448b3dade1e387ee0..35eaca7bce8042739cd4c3f21b7bc12c99bbba8e 100644
|
| --- a/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
|
| +++ b/third_party/WebKit/Source/devtools/front_end/sources/sourcesSearch.css
|
| @@ -105,6 +105,10 @@
|
| flex: auto;
|
| }
|
|
|
| +.search-view .search-results > div {
|
| + flex: auto;
|
| +}
|
| +
|
| .search-results .empty-view {
|
| pointer-events: none;
|
| }
|
|
|