OLD | NEW |
1 { | 1 { |
2 "extensions": [ | 2 "extensions": [ |
3 { | 3 { |
4 "type": "@WebInspector.PanelFactory", | 4 "type": "@WebInspector.PanelFactory", |
5 "name": "sources", | 5 "name": "sources", |
6 "title": "Sources", | 6 "title": "Sources", |
7 "order": 2, | 7 "order": 2, |
8 "className": "WebInspector.SourcesPanelFactory" | 8 "className": "WebInspector.SourcesPanelFactory" |
9 }, | 9 }, |
10 { | 10 { |
(...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
176 "settingType": "checkbox" | 176 "settingType": "checkbox" |
177 }, | 177 }, |
178 { | 178 { |
179 "type": "ui-setting", | 179 "type": "ui-setting", |
180 "title": "Auto-reload generated CSS", | 180 "title": "Auto-reload generated CSS", |
181 "parentSettingName": "cssSourceMapsEnabled", | 181 "parentSettingName": "cssSourceMapsEnabled", |
182 "settingName": "cssReloadEnabled", | 182 "settingName": "cssReloadEnabled", |
183 "settingType": "checkbox" | 183 "settingType": "checkbox" |
184 } | 184 } |
185 ], | 185 ], |
186 "dependencies": ["source_frame"], | 186 "dependencies": [ |
| 187 "source_frame", |
| 188 "extensions" |
| 189 ], |
187 "scripts": [ | 190 "scripts": [ |
188 "jsdifflib.js", | 191 "jsdifflib.js", |
189 "Placard.js", | 192 "Placard.js", |
190 "AddSourceMapURLDialog.js", | 193 "AddSourceMapURLDialog.js", |
191 "BreakpointsSidebarPane.js", | 194 "BreakpointsSidebarPane.js", |
192 "CallStackSidebarPane.js", | 195 "CallStackSidebarPane.js", |
193 "SimpleHistoryManager.js", | 196 "SimpleHistoryManager.js", |
194 "EditingLocationHistoryManager.js", | 197 "EditingLocationHistoryManager.js", |
195 "FilePathScoreFunction.js", | 198 "FilePathScoreFunction.js", |
196 "FilteredItemSelectionDialog.js", | 199 "FilteredItemSelectionDialog.js", |
(...skipping 15 matching lines...) Expand all Loading... |
212 "AdvancedSearchView.js", | 215 "AdvancedSearchView.js", |
213 "FileBasedSearchResultsPane.js", | 216 "FileBasedSearchResultsPane.js", |
214 "SourcesSearchScope.js", | 217 "SourcesSearchScope.js", |
215 "SourcesPanel.js", | 218 "SourcesPanel.js", |
216 "WorkspaceMappingTip.js" | 219 "WorkspaceMappingTip.js" |
217 ], | 220 ], |
218 "skip_compilation": [ | 221 "skip_compilation": [ |
219 "jsdifflib.js" | 222 "jsdifflib.js" |
220 ] | 223 ] |
221 } | 224 } |
OLD | NEW |