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 "dependencies": [ |
| 55 "components" |
| 56 ], |
54 "scripts": [ | 57 "scripts": [ |
55 "ConsoleViewMessage.js", | 58 "ConsoleViewMessage.js", |
56 "ConsoleView.js", | 59 "ConsoleView.js", |
57 "ConsolePanel.js" | 60 "ConsolePanel.js" |
58 ] | 61 ] |
59 } | 62 } |
OLD | NEW |