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

   1 {
   2     "extensions": [
   3         {
   4             "type": "@WebInspector.ActionDelegate",
   5             "actionId": "settings.show",
   6             "className": "WebInspector.SettingsController.SettingsScreenActionDelegate",
   7             "bindings": [
   8                 {
   9                     "shortcut": "F1 Shift+?"
  10                 }
  11             ]
  12         },
  13         {
  14             "type": "@WebInspector.StatusBarItem.Provider",
  15             "actionId": "settings.show",
  16             "location": "toolbar-right",
  17             "title": "Settings",
  18             "order": 3,
  19             "elementClass": "settings-status-bar-item"
  20         },
  21         {
  22             "type": "ui-setting",
  23             "section": "Sources",
  24             "settingType": "custom",
  25             "className": "WebInspector.SettingsScreen.SkipStackFramePatternSettingDelegate"
  26         }
  27     ],
  28     "dependencies": [
  29         "components"
  30     ],
  31     "scripts": [
  32         "EditFileSystemDialog.js",
  33         "FrameworkBlackboxDialog.js",
  34         "SettingsScreen.js"
  35     ]
  36 }