| OLD | NEW |
| 1 { | 1 { |
| 2 "extensions": [ | 2 "extensions": [ |
| 3 { | 3 { |
| 4 "type": "@WebInspector.Panel", | 4 "type": "@WebInspector.Panel", |
| 5 "name": "sources", | 5 "name": "sources", |
| 6 "title": "Sources", | 6 "title": "Sources", |
| 7 "order": 2, | 7 "order": 2, |
| 8 "className": "WebInspector.SourcesPanel" | 8 "className": "WebInspector.SourcesPanel" |
| 9 }, | 9 }, |
| 10 { | 10 { |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 44 "platform": "mac", | 44 "platform": "mac", |
| 45 "shortcut": "Meta+Alt+F" | 45 "shortcut": "Meta+Alt+F" |
| 46 }, | 46 }, |
| 47 { | 47 { |
| 48 "platform": "windows,linux", | 48 "platform": "windows,linux", |
| 49 "shortcut": "Ctrl+Shift+F" | 49 "shortcut": "Ctrl+Shift+F" |
| 50 } | 50 } |
| 51 ] | 51 ] |
| 52 }, | 52 }, |
| 53 { | 53 { |
| 54 "type": "@WebInspector.DrawerEditor", | |
| 55 "className": "WebInspector.SourcesPanel.DrawerEditor" | |
| 56 }, | |
| 57 { | |
| 58 "type": "@WebInspector.Revealer", | 54 "type": "@WebInspector.Revealer", |
| 59 "contextTypes": ["WebInspector.UILocation"], | 55 "contextTypes": ["WebInspector.UILocation"], |
| 60 "className": "WebInspector.SourcesPanel.UILocationRevealer" | 56 "className": "WebInspector.SourcesPanel.UILocationRevealer" |
| 61 }, | 57 }, |
| 62 { | 58 { |
| 63 "type": "@WebInspector.Revealer", | 59 "type": "@WebInspector.Revealer", |
| 64 "contextTypes": ["WebInspector.UISourceCode"], | 60 "contextTypes": ["WebInspector.UISourceCode"], |
| 65 "className": "WebInspector.SourcesPanel.UISourceCodeRevealer" | 61 "className": "WebInspector.SourcesPanel.UISourceCodeRevealer" |
| 66 }, | 62 }, |
| 67 { | 63 { |
| (...skipping 110 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 178 "type": "ui-setting", | 174 "type": "ui-setting", |
| 179 "title": "Auto-reload generated CSS", | 175 "title": "Auto-reload generated CSS", |
| 180 "parentSettingName": "cssSourceMapsEnabled", | 176 "parentSettingName": "cssSourceMapsEnabled", |
| 181 "settingName": "cssReloadEnabled", | 177 "settingName": "cssReloadEnabled", |
| 182 "settingType": "checkbox" | 178 "settingType": "checkbox" |
| 183 } | 179 } |
| 184 ], | 180 ], |
| 185 "dependencies": [ "source_frame" ], | 181 "dependencies": [ "source_frame" ], |
| 186 "scripts": [ "SourcesPanel.js" ] | 182 "scripts": [ "SourcesPanel.js" ] |
| 187 } | 183 } |
| OLD | NEW |