| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@WebInspector.AppProvider", | 4 "type": "@WebInspector.AppProvider", |
| 5 "className": "WebInspector.SimpleAppProvider", | 5 "className": "WebInspector.SimpleAppProvider", |
| 6 "order": 10 | 6 "order": 10 |
| 7 }, | 7 }, |
| 8 { | 8 { |
| 9 "type": "@WebInspector.ContextMenu.Provider", | 9 "type": "@WebInspector.ContextMenu.Provider", |
| 10 "contextTypes": ["WebInspector.UISourceCode", "WebInspector.Resource
", "WebInspector.NetworkRequest", "Node"], | 10 "contextTypes": ["WebInspector.UISourceCode", "WebInspector.Resource
", "WebInspector.NetworkRequest", "Node"], |
| (...skipping 204 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 215 "settingType": "boolean", | 215 "settingType": "boolean", |
| 216 "order": 0, | 216 "order": 0, |
| 217 "defaultValue": false, | 217 "defaultValue": false, |
| 218 "options": [ | 218 "options": [ |
| 219 { "value": true, "title": "Disable cache (while DevTools is open
)" }, | 219 { "value": true, "title": "Disable cache (while DevTools is open
)" }, |
| 220 { "value": false, "title": "Enable cache" } | 220 { "value": false, "title": "Enable cache" } |
| 221 ] | 221 ] |
| 222 }, | 222 }, |
| 223 { | 223 { |
| 224 "type": "setting", | 224 "type": "setting", |
| 225 "category": "", | 225 "category": "Debugger", |
| 226 "title": "Disable JavaScript", | 226 "title": "Disable JavaScript", |
| 227 "settingName": "javaScriptDisabled", | 227 "settingName": "javaScriptDisabled", |
| 228 "settingType": "boolean", | 228 "settingType": "boolean", |
| 229 "order": 1, | 229 "order": 1, |
| 230 "defaultValue": false | 230 "defaultValue": false, |
| 231 "options": [ |
| 232 { "value": true, "title": "Disable JavaScript" }, |
| 233 { "value": false, "title": "Enable JavaScript" } |
| 234 ] |
| 231 }, | 235 }, |
| 232 { | 236 { |
| 233 "type": "setting", | 237 "type": "setting", |
| 234 "category": "DevTools", | 238 "category": "DevTools", |
| 235 "title": "Auto-open DevTools for popups", | 239 "title": "Auto-open DevTools for popups", |
| 236 "settingName": "autoAttachToCreatedPages", | 240 "settingName": "autoAttachToCreatedPages", |
| 237 "settingType": "boolean", | 241 "settingType": "boolean", |
| 238 "order": 2, | 242 "order": 2, |
| 239 "defaultValue": false, | 243 "defaultValue": false, |
| 240 "options": [ | 244 "options": [ |
| (...skipping 111 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 352 "Connections.js", | 356 "Connections.js", |
| 353 "Main.js" | 357 "Main.js" |
| 354 ], | 358 ], |
| 355 "resources": [ | 359 "resources": [ |
| 356 "errorWarningCounter.css", | 360 "errorWarningCounter.css", |
| 357 "remoteDebuggingTerminatedScreen.css", | 361 "remoteDebuggingTerminatedScreen.css", |
| 358 "renderingOptions.css", | 362 "renderingOptions.css", |
| 359 "targetCrashedScreen.css" | 363 "targetCrashedScreen.css" |
| 360 ] | 364 ] |
| 361 } | 365 } |
| OLD | NEW |