| 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 |