src/third_party/WebKit/Source/devtools/front_end/source_frame/module.json

   1 {
   2     "extensions": [
   3         {
   4             "type": "@WebInspector.InplaceEditor",
   5             "className": "WebInspector.CodeMirrorUtils"
   6         },
   7         {
   8             "type": "@WebInspector.TokenizerFactory",
   9             "className": "WebInspector.CodeMirrorUtils.TokenizerFactory"
  10         },
  11         {
  12             "type": "ui-setting",
  13             "section": "Sources",
  14             "title": "Default indentation:",
  15             "settingName": "textEditorIndent",
  16             "settingType": "select",
  17             "options": [
  18                 ["2 spaces", "  "],
  19                 ["4 spaces", "    "],
  20                 ["8 spaces", "        "],
  21                 ["Tab character", "\t"]
  22             ]
  23         }
  24     ],
  25     "scripts": [
  26         "../cm/codemirror.js",
  27         "../cm/css.js",
  28         "../cm/javascript.js",
  29         "../cm/xml.js",
  30         "../cm/htmlmixed.js",
  31
  32         "../cm/matchbrackets.js",
  33         "../cm/closebrackets.js",
  34         "../cm/markselection.js",
  35         "../cm/comment.js",
  36         "../cm/overlay.js",
  37
  38         "../cm/htmlembedded.js",
  39         "../cm/clike.js",
  40         "../cm/coffeescript.js",
  41         "../cm/php.js",
  42         "../cm/python.js",
  43         "../cm/shell.js",
  44         "CodeMirrorUtils.js",
  45         "CodeMirrorTextEditor.js",
  46         "SourceFrame.js",
  47         "GoToLineDialog.js",
  48         "ResourceView.js",
  49         "FontView.js",
  50         "ImageView.js"
  51     ]
  52 }