| 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 18 matching lines...) Expand all Loading... |
| 29 "value": "\t" | 29 "value": "\t" |
| 30 } | 30 } |
| 31 ] | 31 ] |
| 32 } | 32 } |
| 33 ], | 33 ], |
| 34 "dependencies": [ | 34 "dependencies": [ |
| 35 "text_editor", | 35 "text_editor", |
| 36 "ui", | 36 "ui", |
| 37 "platform", | 37 "platform", |
| 38 "persistence", | 38 "persistence", |
| 39 "diff" | 39 "workspace_diff" |
| 40 ], | 40 ], |
| 41 "scripts": [ | 41 "scripts": [ |
| 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 "messagesPopover.css" |
| 54 ] | 54 ] |
| 55 } | 55 } |
| OLD | NEW |