Index: Source/devtools/front_end/elements/module.json |
diff --git a/Source/devtools/front_end/elements/module.json b/Source/devtools/front_end/elements/module.json |
index 683a3178c06ff99d86054e082818e989923a213f..18001341fbbf6575643e39de9c1acd3f74fe504c 100644 |
--- a/Source/devtools/front_end/elements/module.json |
+++ b/Source/devtools/front_end/elements/module.json |
@@ -62,6 +62,13 @@ |
"title": "Show rulers", |
"settingName": "showMetricsRulers", |
"settingType": "checkbox" |
+ }, |
+ { |
+ "type": "ui-setting", |
+ "section": "Elements", |
+ "title": "Highlight DOM updates", |
+ "settingName": "highlightDOMUpdates", |
+ "settingType": "checkbox" |
} |
], |
"dependencies": [ |