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 194 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
205 "TabbedEditorContainer.js", | 205 "TabbedEditorContainer.js", |
206 "WatchExpressionsSidebarPane.js", | 206 "WatchExpressionsSidebarPane.js", |
207 "ThreadsSidebarPane.js", | 207 "ThreadsSidebarPane.js", |
208 "ScriptFormatterEditorAction.js", | 208 "ScriptFormatterEditorAction.js", |
209 "InplaceFormatterEditorAction.js", | 209 "InplaceFormatterEditorAction.js", |
210 "ScriptFormatter.js", | 210 "ScriptFormatter.js", |
211 "SourcesView.js", | 211 "SourcesView.js", |
212 "AdvancedSearchView.js", | 212 "AdvancedSearchView.js", |
213 "FileBasedSearchResultsPane.js", | 213 "FileBasedSearchResultsPane.js", |
214 "SourcesSearchScope.js", | 214 "SourcesSearchScope.js", |
215 "SourcesPanel.js" | 215 "SourcesPanel.js", |
| 216 "WorkspaceMappingTip.js" |
216 ], | 217 ], |
217 "skip_compilation": [ | 218 "skip_compilation": [ |
218 "jsdifflib.js" | 219 "jsdifflib.js" |
219 ] | 220 ] |
220 } | 221 } |
OLD | NEW |