{
  "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": [],
  "modules": [
    "source_frame.js",
    "source_frame-legacy.js",
    "BinaryResourceViewFactory.js",
    "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"
  ]
}