[webkit-reviews] review requested: [Bug 33587] Web Inspector: Scrolling editor to the 20Kth line is not smooth. : [Attachment 46443] [PATCH] Proposed change.

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has asked  for review:
Bug 33587: Web Inspector: Scrolling editor to the 20Kth line is not smooth.
https://bugs.webkit.org/show_bug.cgi?id=33587

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