| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@WebInspector.InplaceEditor", | 4 "type": "@WebInspector.InplaceEditor", |
| 5 "className": "WebInspector.CodeMirrorUtils" | 5 "className": "WebInspector.CodeMirrorUtils" |
| 6 }, | 6 }, |
| 7 { | 7 { |
| 8 "type": "@WebInspector.TokenizerFactory", | 8 "type": "@WebInspector.TokenizerFactory", |
| 9 "className": "WebInspector.CodeMirrorUtils.TokenizerFactory" | 9 "className": "WebInspector.CodeMirrorUtils.TokenizerFactory" |
| 10 }, | 10 }, |
| 11 { | 11 { |
| 12 "type": "ui-setting", | 12 "type": "ui-setting", |
| 13 "section": "Sources", | 13 "section": "Sources", |
| 14 "title": "Default indentation:", | 14 "title": "Default indentation:", |
| 15 "settingName": "textEditorIndent", | 15 "settingName": "textEditorIndent", |
| 16 "settingType": "select", | 16 "settingType": "select", |
| 17 "options": [ | 17 "options": [ |
| 18 ["2 spaces", " "], | 18 ["2 spaces", " "], |
| 19 ["4 spaces", " "], | 19 ["4 spaces", " "], |
| 20 ["8 spaces", " "], | 20 ["8 spaces", " "], |
| 21 ["Tab character", "\t"] | 21 ["Tab character", "\t"] |
| 22 ] | 22 ] |
| 23 } | 23 } |
| 24 ], | 24 ], |
| 25 "dependencies": [ |
| 26 "components" |
| 27 ], |
| 25 "scripts": [ | 28 "scripts": [ |
| 26 "../cm/codemirror.js", | 29 "../cm/codemirror.js", |
| 27 "../cm/css.js", | 30 "../cm/css.js", |
| 28 "../cm/javascript.js", | 31 "../cm/javascript.js", |
| 29 "../cm/xml.js", | 32 "../cm/xml.js", |
| 30 "../cm/htmlmixed.js", | 33 "../cm/htmlmixed.js", |
| 31 | 34 |
| 32 "../cm/matchbrackets.js", | 35 "../cm/matchbrackets.js", |
| 33 "../cm/closebrackets.js", | 36 "../cm/closebrackets.js", |
| 34 "../cm/markselection.js", | 37 "../cm/markselection.js", |
| 35 "../cm/comment.js", | 38 "../cm/comment.js", |
| 36 "../cm/overlay.js", | 39 "../cm/overlay.js", |
| 37 | 40 |
| 38 "../cm/htmlembedded.js", | 41 "../cm/htmlembedded.js", |
| 39 "../cm/clike.js", | 42 "../cm/clike.js", |
| 40 "../cm/coffeescript.js", | 43 "../cm/coffeescript.js", |
| 41 "../cm/php.js", | 44 "../cm/php.js", |
| 42 "../cm/python.js", | 45 "../cm/python.js", |
| 43 "../cm/shell.js", | 46 "../cm/shell.js", |
| 44 "CodeMirrorUtils.js", | 47 "CodeMirrorUtils.js", |
| 45 "CodeMirrorTextEditor.js", | 48 "CodeMirrorTextEditor.js", |
| 46 "SourceFrame.js", | 49 "SourceFrame.js", |
| 47 "GoToLineDialog.js", | 50 "GoToLineDialog.js", |
| 48 "ResourceView.js", | 51 "ResourceView.js", |
| 49 "FontView.js", | 52 "FontView.js", |
| 50 "ImageView.js" | 53 "ImageView.js" |
| 54 ], |
| 55 "skip_compilation": [ |
| 56 "../cm/codemirror.js", |
| 57 "../cm/css.js", |
| 58 "../cm/javascript.js", |
| 59 "../cm/xml.js", |
| 60 "../cm/htmlmixed.js", |
| 61 |
| 62 "../cm/matchbrackets.js", |
| 63 "../cm/closebrackets.js", |
| 64 "../cm/markselection.js", |
| 65 "../cm/comment.js", |
| 66 "../cm/overlay.js", |
| 67 |
| 68 "../cm/htmlembedded.js", |
| 69 "../cm/clike.js", |
| 70 "../cm/coffeescript.js", |
| 71 "../cm/php.js", |
| 72 "../cm/python.js", |
| 73 "../cm/shell.js" |
| 51 ] | 74 ] |
| 52 } | 75 } |
| OLD | NEW |