| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@WebInspector.Panel", | 4 "type": "@WebInspector.Panel", |
| 5 "name": "console", | 5 "name": "console", |
| 6 "title": "Console", | 6 "title": "Console", |
| 7 "order": 20, | 7 "order": 20, |
| 8 "className": "WebInspector.ConsolePanel" | 8 "className": "WebInspector.ConsolePanel" |
| 9 }, | 9 }, |
| 10 { | 10 { |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 44 "settingType": "checkbox" | 44 "settingType": "checkbox" |
| 45 }, | 45 }, |
| 46 { | 46 { |
| 47 "type": "ui-setting", | 47 "type": "ui-setting", |
| 48 "section": "Console", | 48 "section": "Console", |
| 49 "title": "Show timestamps", | 49 "title": "Show timestamps", |
| 50 "settingName": "consoleTimestampsEnabled", | 50 "settingName": "consoleTimestampsEnabled", |
| 51 "settingType": "checkbox" | 51 "settingType": "checkbox" |
| 52 } | 52 } |
| 53 ], | 53 ], |
| 54 "scripts": [ | 54 "scripts": [ "ConsolePanel.js" ] |
| 55 "ConsoleViewMessage.js", | |
| 56 "ConsoleView.js", | |
| 57 "ConsolePanel.js" | |
| 58 ] | |
| 59 } | 55 } |
| OLD | NEW |