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

[bugzilla-daemon at webkit.org]

Andrey Lushnikov <lushnikov at chromium.org> has asked  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