RESOLVED FIXED 111717
Web Inspector: [CodeMirror] set indentation size according to devtools settings 
https://bugs.webkit.org/show_bug.cgi?id=111717
Summary Web Inspector: [CodeMirror] set indentation size according to devtools settings
Andrey Lushnikov
Reported 2013-03-07 05:58:06 PST
Set indentation size in CodeMirror experiment according to devtools settings.
Attachments
Patch (2.00 KB, patch)
2013-03-07 06:00 PST, Andrey Lushnikov 		no flags
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Andrey Lushnikov
Comment 1 2013-03-07 06:00:48 PST
Created attachment 191982 [details] Patch
Vsevolod Vlasov
Comment 2 2013-03-07 08:09:57 PST
Comment on attachment 191982 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=191982&action=review > Source/WebCore/inspector/front-end/CodeMirrorTextEditor.js:59 > + if (indent === WebInspector.TextUtils.Indent.TabCharacter) { WebInspector.TextUtils.Indent is undefined
Andrey Lushnikov
Comment 3 2013-03-07 09:49:33 PST
Comment on attachment 191982 [details] Patch View in context: https://bugs.webkit.org/attachment.cgi?id=191982&action=review >> Source/WebCore/inspector/front-end/CodeMirrorTextEditor.js:59 >> + if (indent === WebInspector.TextUtils.Indent.TabCharacter) { > > WebInspector.TextUtils.Indent is undefined It was introduced here: https://bugs.webkit.org/show_bug.cgi?id=111715
WebKit Review Bot
Comment 4 2013-03-11 08:51:42 PDT
Comment on attachment 191982 [details] Patch Clearing flags on attachment: 191982 Committed r145368: <http://trac.webkit.org/changeset/145368>
WebKit Review Bot
Comment 5 2013-03-11 08:51:45 PDT
All reviewed patches have been landed. Closing bug.
Note You need to log in before you can comment on or make changes to this bug.