[webkit-reviews] review denied: [Bug 103726] Web Inspector: add API to text editor to highlight text range with css style : [Attachment 178026] Patch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has denied Andrey Lushnikov
<lushnikov at chromium.org>'s request for review:
Bug 103726: Web Inspector: add API to text editor to highlight text range with
css style
https://bugs.webkit.org/show_bug.cgi?id=103726

Attachment 178026: Patch
https://bugs.webkit.org/attachment.cgi?id=178026&action=review

------- Additional Comments from Pavel Feldman <pfeldman at chromium.org>
View in context: https://bugs.webkit.org/attachment.cgi?id=178026&action=review


> Source/WebCore/inspector/front-end/DefaultTextEditor.js:1513
> +	   this._paintLines(highlightRange.range.startLine,
highlightRange.range.endLine + 1);

I would just repaint all here as well.