{
  "extensions": [
    {
      "type": "view",
      "location": "drawer-view",
      "id": "coverage",
      "title": "Coverage",
      "persistence": "closeable",
      "className": "Coverage.CoverageView",
      "order": 100
    },
    {
      "type": "@SourceFrame.LineDecorator",
      "className": "Coverage.CoverageView.LineDecorator",
      "decoratorType": "coverage"
    },
    {
      "type": "action",
      "actionId": "coverage.toggle-recording",
      "iconClass": "largeicon-start-recording",
      "toggleable": true,
      "toggledIconClass": "largeicon-stop-recording",
      "toggleWithRedColor": true,
      "className": "Coverage.CoverageView.ActionDelegate",
      "category": "Performance",
      "options": [
        {
          "value": true,
          "title": "Instrument coverage"
        },
        {
          "value": false,
          "title": "Stop instrumenting coverage and show results"
        }
      ]
    },
    {
      "type": "action",
      "actionId": "coverage.start-with-reload",
      "iconClass": "largeicon-refresh",
      "className": "Coverage.CoverageView.ActionDelegate",
      "category": "Performance",
      "title": "Start instrumenting coverage and reload page"
    }
  ],
  "dependencies": ["sdk", "ui", "source_frame", "data_grid", "formatter"],
  "scripts": [],
  "modules": [
    "coverage.js",
    "coverage-legacy.js",
    "CoverageModel.js",
    "CoverageListView.js",
    "CoverageView.js",
    "CoverageDecorationManager.js"
  ],
  "resources": ["coverageListView.css", "coverageView.css"]
}