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