[webkit-reviews] review requested: [Bug 86937] Web Inspector: make search results view more dense : [Attachment 142857] [Patch] Same with closing search on panel switch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has asked  for review:
Bug 86937: Web Inspector: make search results view more dense
https://bugs.webkit.org/show_bug.cgi?id=86937

Attachment 142857: [Patch] Same with closing search on panel switch
https://bugs.webkit.org/attachment.cgi?id=142857&action=review