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" |