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 |