{
    "extensions": [
        {
            "type": "@WebInspector.InplaceEditor",
            "className": "WebInspector.CodeMirrorUtils"
        },
        {
            "type": "@WebInspector.TokenizerFactory",
            "className": "WebInspector.CodeMirrorUtils.TokenizerFactory"
        },
        {
            "type": "ui-setting",
            "section": "Sources",
            "title": "Default indentation:",
            "settingName": "textEditorIndent",
            "settingType": "select",
            "options": [
                ["2 spaces", "  "],
                ["4 spaces", "    "],
                ["8 spaces", "        "],
                ["Tab character", "\t"]
            ]
        }
    ],
    "scripts": [
        "../cm/codemirror.js",
        "../cm/css.js",
        "../cm/javascript.js",
        "../cm/xml.js",
        "../cm/htmlmixed.js",

        "../cm/matchbrackets.js",
        "../cm/closebrackets.js",
        "../cm/markselection.js",
        "../cm/comment.js",
        "../cm/overlay.js",

        "../cm/htmlembedded.js",
        "../cm/clike.js",
        "../cm/coffeescript.js",
        "../cm/php.js",
        "../cm/python.js",
        "../cm/shell.js",
        "CodeMirrorUtils.js",
        "CodeMirrorTextEditor.js",
        "SourceFrame.js",
        "GoToLineDialog.js",
        "ResourceView.js",
        "FontView.js",
        "ImageView.js"
    ]
}