[webkit-reviews] review requested: [Bug 136749] Web Inspector: Hide DOM search result highlights when find banner is not showing : [Attachment 237976] [PATCH] Proposed Fix

[bugzilla-daemon at webkit.org]

Joseph Pecoraro <joepeck at webkit.org> has asked	for review:
Bug 136749: Web Inspector: Hide DOM search result highlights when find banner
is not showing
https://bugs.webkit.org/show_bug.cgi?id=136749

Attachment 237976: [PATCH] Proposed Fix
https://bugs.webkit.org/attachment.cgi?id=237976&action=review