| 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 153 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 164 { | 164 { |
| 165 "type": "ui-setting", | 165 "type": "ui-setting", |
| 166 "section": "Sources", | 166 "section": "Sources", |
| 167 "title": "Show whitespace characters", | 167 "title": "Show whitespace characters", |
| 168 "settingName": "showWhitespacesInEditor", | 168 "settingName": "showWhitespacesInEditor", |
| 169 "settingType": "checkbox" | 169 "settingType": "checkbox" |
| 170 }, | 170 }, |
| 171 { | 171 { |
| 172 "type": "ui-setting", | 172 "type": "ui-setting", |
| 173 "section": "Sources", | 173 "section": "Sources", |
| 174 "title": "Highlight changed properties", |
| 175 "settingName": "highlightChangedProperties", |
| 176 "settingType": "checkbox" |
| 177 }, |
| 178 { |
| 179 "type": "ui-setting", |
| 180 "section": "Sources", |
| 174 "title": "Enable CSS source maps", | 181 "title": "Enable CSS source maps", |
| 175 "settingName": "cssSourceMapsEnabled", | 182 "settingName": "cssSourceMapsEnabled", |
| 176 "settingType": "checkbox" | 183 "settingType": "checkbox" |
| 177 }, | 184 }, |
| 178 { | 185 { |
| 179 "type": "ui-setting", | 186 "type": "ui-setting", |
| 180 "title": "Auto-reload generated CSS", | 187 "title": "Auto-reload generated CSS", |
| 181 "parentSettingName": "cssSourceMapsEnabled", | 188 "parentSettingName": "cssSourceMapsEnabled", |
| 182 "settingName": "cssReloadEnabled", | 189 "settingName": "cssReloadEnabled", |
| 183 "settingType": "checkbox" | 190 "settingType": "checkbox" |
| (...skipping 39 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 223 ], | 230 ], |
| 224 "stylesheets": [ | 231 "stylesheets": [ |
| 225 "filteredItemSelectionDialog.css", | 232 "filteredItemSelectionDialog.css", |
| 226 "navigatorView.css", | 233 "navigatorView.css", |
| 227 "revisionHistory.css", | 234 "revisionHistory.css", |
| 228 "sourcesPanel.css", | 235 "sourcesPanel.css", |
| 229 "sourcesSearch.css", | 236 "sourcesSearch.css", |
| 230 "sourcesView.css" | 237 "sourcesView.css" |
| 231 ] | 238 ] |
| 232 } | 239 } |
| OLD | NEW |