{
    "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"
    ]
}