| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "view", | 4 "type": "view", |
| 5 "location": "panel", | 5 "location": "panel", |
| 6 "id": "console", | 6 "id": "console", |
| 7 "title": "Console", | 7 "title": "Console", |
| 8 "order": 20, | 8 "order": 20, |
| 9 "className": "Console.ConsolePanel" | 9 "className": "Console.ConsolePanel" |
| 10 }, | 10 }, |
| (...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 81 "type": "setting", | 81 "type": "setting", |
| 82 "category": "Console", | 82 "category": "Console", |
| 83 "title": "Log XMLHttpRequests", | 83 "title": "Log XMLHttpRequests", |
| 84 "settingName": "monitoringXHREnabled", | 84 "settingName": "monitoringXHREnabled", |
| 85 "settingType": "boolean", | 85 "settingType": "boolean", |
| 86 "defaultValue": false | 86 "defaultValue": false |
| 87 }, | 87 }, |
| 88 { | 88 { |
| 89 "type": "setting", | 89 "type": "setting", |
| 90 "category": "Console", | 90 "category": "Console", |
| 91 "title": "Timestamps:", | 91 "title": "Show timestamps", |
| 92 "settingName": "consoleTimestampFormat", | 92 "settingName": "consoleTimestampsEnabled", |
| 93 "settingType": "enum", | 93 "settingType": "boolean", |
| 94 "defaultValue": "none", | 94 "defaultValue": false, |
| 95 "options": [ | 95 "options": [ |
| 96 { | 96 { |
| 97 "title": "Hide timestamps", | 97 "value": true, |
| 98 "text": "None", | 98 "title": "Show timestamps" |
| 99 "value": "none" | |
| 100 }, | 99 }, |
| 101 { | 100 { |
| 102 "title": "Full (yyyy-MM-dd HH:mm:ss.fff)", | 101 "value": false, |
| 103 "text": "Full", | 102 "title": "Hide timestamps" |
| 104 "value": "full" | |
| 105 }, | |
| 106 { | |
| 107 "title": "Short (HH:mm:ss.fff)", | |
| 108 "text": "Short", | |
| 109 "value": "short" | |
| 110 } | 103 } |
| 111 ] | 104 ] |
| 112 }, | 105 }, |
| 113 { | 106 { |
| 114 "type": "setting", | 107 "type": "setting", |
| 115 "category": "Console", | 108 "category": "Console", |
| 116 "title": "Autocomplete from history", | 109 "title": "Autocomplete from history", |
| 117 "settingName": "consoleHistoryAutocomplete", | 110 "settingName": "consoleHistoryAutocomplete", |
| 118 "settingType": "boolean", | 111 "settingType": "boolean", |
| 119 "defaultValue": true, | 112 "defaultValue": true, |
| (...skipping 18 matching lines...) Expand all Loading... |
| 138 "ConsoleViewport.js", | 131 "ConsoleViewport.js", |
| 139 "ConsoleViewMessage.js", | 132 "ConsoleViewMessage.js", |
| 140 "ConsolePrompt.js", | 133 "ConsolePrompt.js", |
| 141 "ConsoleView.js", | 134 "ConsoleView.js", |
| 142 "ConsolePanel.js" | 135 "ConsolePanel.js" |
| 143 ], | 136 ], |
| 144 "resources": [ | 137 "resources": [ |
| 145 "consoleView.css" | 138 "consoleView.css" |
| 146 ] | 139 ] |
| 147 } | 140 } |
| OLD | NEW |