[webkit-reviews] review granted: [Bug 111717] Web Inspector: [CodeMirror] set indentation size according to devtools settings : [Attachment 191982] Patch

[bugzilla-daemon at webkit.org]

Pavel Feldman <pfeldman at chromium.org> has granted Andrey Lushnikov
<lushnikov at chromium.org>'s request for review:
Bug 111717: Web Inspector: [CodeMirror] set indentation size according to
devtools settings
https://bugs.webkit.org/show_bug.cgi?id=111717

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