| Index: Source/devtools/front_end/sources/module.json
|
| diff --git a/Source/devtools/front_end/sources/module.json b/Source/devtools/front_end/sources/module.json
|
| index 37f571a6e33d9aee3c5235492a9e754142fcb77c..3e92bb285d019d2422d71edff6a92a293b0046d4 100644
|
| --- a/Source/devtools/front_end/sources/module.json
|
| +++ b/Source/devtools/front_end/sources/module.json
|
| @@ -171,6 +171,13 @@
|
| {
|
| "type": "ui-setting",
|
| "section": "Sources",
|
| + "title": "Highlight changed properties",
|
| + "settingName": "highlightChangedProperties",
|
| + "settingType": "checkbox"
|
| + },
|
| + {
|
| + "type": "ui-setting",
|
| + "section": "Sources",
|
| "title": "Enable CSS source maps",
|
| "settingName": "cssSourceMapsEnabled",
|
| "settingType": "checkbox"
|
|
|