OLD | NEW |
1 { | 1 { |
2 "extensions": [ | 2 "extensions": [ |
3 { | 3 { |
4 "type": "@WebInspector.Panel", | 4 "type": "@WebInspector.Panel", |
5 "name": "elements", | 5 "name": "elements", |
6 "title": "Elements", | 6 "title": "Elements", |
7 "order": 0, | 7 "order": 0, |
8 "className": "WebInspector.ElementsPanel" | 8 "className": "WebInspector.ElementsPanel" |
9 }, | 9 }, |
10 { | 10 { |
(...skipping 56 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
67 "settingType": "checkbox" | 67 "settingType": "checkbox" |
68 }, | 68 }, |
69 { | 69 { |
70 "type": "ui-setting", | 70 "type": "ui-setting", |
71 "section": "Elements", | 71 "section": "Elements", |
72 "title": "Show rulers", | 72 "title": "Show rulers", |
73 "settingName": "showMetricsRulers", | 73 "settingName": "showMetricsRulers", |
74 "settingType": "checkbox" | 74 "settingType": "checkbox" |
75 } | 75 } |
76 ], | 76 ], |
77 "scripts": [ "ElementsPanel.js" ] | 77 "scripts": [ |
| 78 "Spectrum.js", |
| 79 "DOMSyntaxHighlighter.js", |
| 80 "ElementsTreeOutline.js", |
| 81 "EventListenersSidebarPane.js", |
| 82 "MetricsSidebarPane.js", |
| 83 "PlatformFontsSidebarPane.js", |
| 84 "PropertiesSidebarPane.js", |
| 85 "StylesSidebarPane.js", |
| 86 "ElementsPanel.js" |
| 87 ] |
78 } | 88 } |
OLD | NEW |