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