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 235b1e46116b8a4857385afa933599cfd2804158..f67949b8811bed862a0bf7966aadd1134a5151d3 100644 |
--- a/Source/devtools/front_end/elements/module.json |
+++ b/Source/devtools/front_end/elements/module.json |
@@ -94,6 +94,13 @@ |
"title": "Show rulers", |
"settingName": "showMetricsRulers", |
"settingType": "checkbox" |
+ }, |
+ { |
+ "type": "ui-setting", |
+ "section": "Elements", |
+ "title": "Highlight DOM updates", |
+ "settingName": "highlightDOMUpdates", |
+ "settingType": "checkbox" |
} |
], |
"dependencies": [ |