[webkit-reviews] review requested: [Bug 157702] Web Inspector: Filtering huge data grids should yield occasionally so the UI remains responsive : [Attachment 279065] Proposed Fix v2

[bugzilla-daemon at webkit.org]

Brian Burg <bburg at apple.com> has asked	for review:
Bug 157702: Web Inspector: Filtering huge data grids should yield occasionally
so the UI remains responsive
https://bugs.webkit.org/show_bug.cgi?id=157702

Attachment 279065: Proposed Fix v2

https://bugs.webkit.org/attachment.cgi?id=279065&action=review