| 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 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 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": [ | 77 "scripts": [ |
| 78 "Spectrum.js", | 78 "Spectrum.js", |
| 79 "DOMSyntaxHighlighter.js", | |
| 80 "ElementsTreeOutline.js", | 79 "ElementsTreeOutline.js", |
| 81 "EventListenersSidebarPane.js", | 80 "EventListenersSidebarPane.js", |
| 82 "MetricsSidebarPane.js", | 81 "MetricsSidebarPane.js", |
| 83 "PlatformFontsSidebarPane.js", | 82 "PlatformFontsSidebarPane.js", |
| 84 "PropertiesSidebarPane.js", | 83 "PropertiesSidebarPane.js", |
| 85 "StylesSidebarPane.js", | 84 "StylesSidebarPane.js", |
| 86 "ElementsPanel.js" | 85 "ElementsPanel.js" |
| 87 ] | 86 ] |
| 88 } | 87 } |
| OLD | NEW |