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 "scripts": [ "SourceFrame.js" ] | 25 "scripts": [ |
| 26 "../cm/codemirror.js", |
| 27 "../cm/css.js", |
| 28 "../cm/javascript.js", |
| 29 "../cm/xml.js", |
| 30 "../cm/htmlmixed.js", |
| 31 |
| 32 "../cm/matchbrackets.js", |
| 33 "../cm/closebrackets.js", |
| 34 "../cm/markselection.js", |
| 35 "../cm/comment.js", |
| 36 "../cm/overlay.js", |
| 37 |
| 38 "../cm/htmlembedded.js", |
| 39 "../cm/clike.js", |
| 40 "../cm/coffeescript.js", |
| 41 "../cm/php.js", |
| 42 "../cm/python.js", |
| 43 "../cm/shell.js", |
| 44 "CodeMirrorUtils.js", |
| 45 "CodeMirrorTextEditor.js", |
| 46 "SourceFrame.js", |
| 47 "GoToLineDialog.js", |
| 48 "ResourceView.js", |
| 49 "FontView.js", |
| 50 "ImageView.js" |
| 51 ] |
26 } | 52 } |
OLD | NEW |