| { |
| "extensions": [ |
| { |
| "type": "setting", |
| "category": "Sources", |
| "title": "Default indentation:", |
| "settingName": "textEditorIndent", |
| "settingType": "enum", |
| "defaultValue": " ", |
| "options": [ |
| { |
| "title": "Set indentation to 2 spaces", |
| "text": "2 spaces", |
| "value": " " |
| }, |
| { |
| "title": "Set indentation to 4 spaces", |
| "text": "4 spaces", |
| "value": " " |
| }, |
| { |
| "title": "Set indentation to 8 spaces", |
| "text": "8 spaces", |
| "value": " " |
| }, |
| { |
| "title": "Set indentation to tab character", |
| "text": "Tab character", |
| "value": "\t" |
| } |
| ] |
| } |
| ], |
| "dependencies": [ |
| "text_editor", |
| "ui", |
| "platform", |
| "persistence", |
| "formatter", |
| "object_ui", |
| "workspace_diff" |
| ], |
| "scripts": [ |
| "SourcesTextEditor.js", |
| "FontView.js", |
| "ImageView.js", |
| "SourceFrame.js", |
| "ResourceSourceFrame.js", |
| "JSONView.js", |
| "XMLView.js", |
| "PreviewFactory.js", |
| "SourceCodeDiff.js" |
| ], |
| "resources": [ |
| "fontView.css", |
| "imageView.css", |
| "jsonView.css", |
| "messagesPopover.css", |
| "xmlTree.css", |
| "xmlView.css", |
| "resourceSourceFrame.css" |
| ] |
| } |