[webkit-reviews] review denied: [Bug 111576] Web Inspector: [ACE] gutter size should be fixed. : [Attachment 191744] 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 111576: Web Inspector: [ACE] gutter size should be fixed.
https://bugs.webkit.org/show_bug.cgi?id=111576

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

------- Additional Comments from Pavel Feldman <pfeldman at chromium.org>
You should not change third party files in place. This diverges things and
results in merging conflicts.