OLD | NEW |
1 { | 1 { |
2 "extensions": [ | 2 "extensions": [ |
3 { | 3 { |
4 "type": "view", | 4 "type": "view", |
5 "location": "drawer-view", | 5 "location": "drawer-view", |
6 "id": "coverage", | 6 "id": "coverage", |
7 "title": "Coverage", | 7 "title": "Coverage", |
8 "persistence": "closeable", | 8 "persistence": "closeable", |
9 "className": "Coverage.CoverageView", | 9 "className": "Coverage.CoverageView", |
10 "order": 100 | 10 "order": 100 |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
45 "dependencies": [ | 45 "dependencies": [ |
46 "sdk", | 46 "sdk", |
47 "ui", | 47 "ui", |
48 "source_frame", | 48 "source_frame", |
49 "sources", | 49 "sources", |
50 "data_grid" | 50 "data_grid" |
51 ], | 51 ], |
52 "scripts": [ | 52 "scripts": [ |
53 "CoverageModel.js", | 53 "CoverageModel.js", |
54 "CoverageListView.js", | 54 "CoverageListView.js", |
55 "CoverageView.js" | 55 "CoverageView.js", |
| 56 "CoverageDecorationManager.js" |
56 ], | 57 ], |
57 "resources": [ | 58 "resources": [ |
58 "coverageListView.css", | 59 "coverageListView.css", |
59 "coverageView.css" | 60 "coverageView.css" |
60 ] | 61 ] |
61 } | 62 } |
OLD | NEW |