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": [ "SourceFrame.js" ]
  26 }