OLD | NEW |
1 { | 1 { |
2 "extensions": [ | 2 "extensions": [ |
3 { | 3 { |
4 "type": "setting", | 4 "type": "setting", |
5 "category": "Sources", | 5 "category": "Sources", |
6 "title": "Default indentation:", | 6 "title": "Default indentation:", |
7 "settingName": "textEditorIndent", | 7 "settingName": "textEditorIndent", |
8 "settingType": "enum", | 8 "settingType": "enum", |
9 "defaultValue": " ", | 9 "defaultValue": " ", |
10 "options": [ | 10 "options": [ |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
42 "SourcesTextEditor.js", | 42 "SourcesTextEditor.js", |
43 "FontView.js", | 43 "FontView.js", |
44 "ImageView.js", | 44 "ImageView.js", |
45 "SourceFrame.js", | 45 "SourceFrame.js", |
46 "ResourceSourceFrame.js", | 46 "ResourceSourceFrame.js", |
47 "UISourceCodeFrame.js", | 47 "UISourceCodeFrame.js", |
48 "SourceCodeDiff.js" | 48 "SourceCodeDiff.js" |
49 ], | 49 ], |
50 "resources": [ | 50 "resources": [ |
51 "fontView.css", | 51 "fontView.css", |
52 "imageView.css" | 52 "imageView.css", |
| 53 "messagesPopover.css" |
53 ] | 54 ] |
54 } | 55 } |
OLD | NEW |