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 |