{
    "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"
    ],
    "scripts": [
        "SourcesTextEditor.js",
        "FontView.js",
        "ImageView.js",
        "SourceFrame.js",
        "ResourceSourceFrame.js"
    ],
    "resources": [
        "fontView.css",
        "imageView.css"
    ]
}