{
    "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"
    ],
    "scripts": [],
    "modules": [
        "CoverageModel.js",
        "CoverageListView.js",
        "CoverageView.js",
        "CoverageDecorationManager.js"
    ],
    "resources": [
        "coverageListView.css",
        "coverageView.css"
    ]
}